Modelling and reasoning for confidentiality requirements in software development

Proceedings of the International Symposium and Workshop on Engineering of Computer Based Systems

Volumn , Issue , 2006, Pages 460-467

  Onabajo, Adeniyi ^a   Jahnke, Jens H ^a  

^a UNIVERSITY OF VICTORIA   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ACCESS CONTROL; CASE BASED REASONING; COMPUTER SIMULATION; DATA PRIVACY; REQUIREMENTS ENGINEERING; SPECIFICATIONS;

CONFIDENTIALITY; STAKEHOLDERS; SYSTEM FUNCTIONS;

SOFTWARE ENGINEERING;

EID: 34250014499     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ECBS.2006.50     Document Type: Conference Paper

References (26)

1. G. Antoniou, D. Billington, G. Governatori, M. J. Maher, and A. Rock. A Family of Defeasible Reasoning Logics and its Implementation. In W. Horn, editor, Proceedings 14th European Conference on Artificial Intelligence, pages 459-463, Berlin, Germany, 20-25 August 2000.
2. T. E. Bell and T. A. Thayer. Software Requirements: Are They Really a Problem? In Proceedings 2nd International Conference on Software Engineering, pages 61-68, San Francisco, CA, USA, 13-15 October 1976.
3. B. W. Boehm. Software Engineering Economics. Prentice Hall, 1981.
4. L. Chung. Dealing with Security Requirements During the Development of Information Systems. In Proceedings 5th International Conference on Advance Information System Engineering (CAISE93), pages 234-251, Paris, France, June 1993.
5. L. Chung, B. A. Nixon, E. Yu, and J. Mylopoulos. Non-Functional Requirements in Software Engineering. Kluwer Academic Publishers, Boston USA, 2000.
6. B. Dick. Grounded Theory: A Thumbnail Sketch. http://www.scu.edu.au/ schools/gcm/ar/arp/grounded.html, 2005. Accessed 5 January, 2006.
7. A. Fuxman, L. Liu, J. Mylopoulos, M. Pistore, M. Roveri, and P. Traverso. Specifying and Analyzing Early Requirements in Tropos. Journal of Requirement Engineering, 9(2):132-150, 2004.
8. A. Fuxman, M. Pistore, J. Mylopoulos, and P. Traverso. Model Checking Early Requirements Specifications in Tropos. In Proceedings 9th IEEE International Requirements Engineering Conference, pages 174-181, Toronto, Canada, 27-31 August 2001.
9. P. Giorgini, F. Massacci, J. Mylopoulos, and N. Zannone. Requirements Engineering Meets Trust Management: Model, Methodology, and Reasoning. In Proceedings 2nd International Conference on Trust Management (iTrust 2004), Oxford, UK, 2004.
10. P. Giorgini, F. Massacci, J. Mylopoulos, and N. Zannone. Modeling Security Requirements Through Ownership, Permission and Delegation. In Proceedings 13th IEEE International Requirements Engineering Conference, pages 167-176, Paris, France, 2005.
11. B. G. Glaser and A. L. Strauss. The Discovery of Grounded Theory. Aldine, Chicago, 1967.
12. S. Gürses, J. H. Jahnke, C. Obry, A. Onabajo, T. Santen, and M. Price. Eliciting Confidentiality Requirements in Practice. In Proceedings 15th Centers for Advanced Studies Conference (GASCON 2005), pages 207-222, Richmond Hill, ON, Canada, October 2005.
13. B. D. Haig. Grounded Theory as Scientific Method. Philosophy of Education, 1995. http://www.ed.uiuc.edu/EPS/PES-Yearbook/ 95_docs/haig.html Accessed 5 January, 2006.
14. A. M. Hickey and A. M. Davis. Elicitation Technique Selection: How Do Experts Do It? In Proceedings llth International Requirements Engineering Conference, pages 169-178, Monterey Bay, CA, USA, 8-12 September 2003.
15. J. Jürjens. UMLsec: Extending UML for Secure Systems Development. In Proceedings 5th International Conference of The Unified Modeling Language, UML 2002, pages 412-425, Dresden, Germany, 2002.
16. L. Liu, E. Yu, and J. Mylopoulos. Security and Privacy Requirements Analysis within a Social Setting. In Proceedings 11th IEEE Requirements Engineering Conference, pages 151-161, Monterey Bay, CA, USA, 2003.
17. T. Lodderstedt, D. A. Basin, and J. Doser. SecureUML: A UML-Based Modeling Language for Model-Driven Security. In Proceedings 5th International Conference of The Unified Modeling Language, UML 2002, pages 426-441, Dresden, Germany, 2002.
18. Luqi and J. Goguen. Formal Methods: Promises and Problems. IEEE Software, 14(1):73-85, January 1997.
19. M. J. Maher. Propositional Defeasible Logic has Linear Complexity. Theory and Practice of Logic Programming, 1(6):691-711, 2001.
20. H. Mouratidis, P. Giorgini, and G. A. Manson. Integrating Security and Systems Engineering: Towards the Modelling of Secure Information Systems. In Proceedings 15th International Conference on Advanced Information Systems Engineering (CAiSE 2003), pages 63-78, Klagenfurt, Austria, 16-20 June 2003.
21. B. Nuseibeh and S. Easterbrook. Requirements Engineering: A RoadMap. In A. C. W. Finkelstein, editor, The Future of Software Engineering, Companion volume to the Proceedings 22nd International Conference on Software Engineering (ICSE 2000), pages 35-46, Limerick, Ireland, 4-11 June 2000.
22. N. R. Pandit. The Creation of Theory: A Recent Application of the Grounded Theory Method. The Qualitative Report, 2(4), Dec 1996. http://www.nova.edu/ssss/QR/QR2-4/pandit.html Accessed 5 January, 2006.
23. A. Strauss and J. Corbin. Basics of Qualitative Research: Grounded Theory Procedures and Techniques. Sage, 1990.
24. A. van Lamsweerde. Requirements Engineering in the year 00: A Research Perspective. In Proceedings 22nd International Conference on Software Engineering, ICSE 00, pages 5-19, Limerick, Ireland, 2000.
25. A. van Lamsweerde. Goal-Oriented Requirements Engineering: A Guided Tour. In Proceedings 5th IEEE International Symposium on Requirements Engineering, pages 249-262, Toronto, Canada, 27-31 August 2001.
26. E. Yu. Towards Modelling and Reasoning Support for Early-Phase Requirements Engineering. In Proceedings 3rd IEEE International Symposium on Requirements Engineering, pages 226-235, Annapolis, MD, USA, January 1997.