Designing security requirements models through planning

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4001 LNCS, Issue , 2006, Pages 33-47

  Bryl, Volha ^a   Massacci, Fabio ^a   Mylopoulos, John ^a   Zannone, Nicola ^a  

^a UNIVERSITY OF TRENTO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; COMPUTER ARCHITECTURE; FORMAL LOGIC; MATHEMATICAL MODELS; SOFTWARE AGENTS; SOFTWARE ENGINEERING; STRATEGIC PLANNING;

AUTOMATED REASONING MECHANISMS; DESIGN PROCESS; DESIGNING SECURITY; SECURE TROPOS;

SECURITY OF DATA;

EID: 33746068596     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11767138_4     Document Type: Conference Paper

References (36)

1. R. Axelrod. The Evolution of Cooperation. Basic Books, 1984.
2. A. Blum and M. L. Furst. Fast Planning Through Planning Graph Analysis. Artif. Intell., 90(1-2):281-300, 1997.
3. V. Bryl, P. Giorgini, and J. Mylopoulos. Requirements Analysis for Socio-technical Systems: Exploring and Evaluating Alternatives, 2006. Submitted to RE'06.
4. V. Bryl, F. Massacci, J. Mylopoulos, and N. Zannone. Designing Security Requirements Models through Planning. Technical Report DIT-06-003, University of Trento, 2006.
5. J. Caldwell. Moving Proofs-as-Programs into Practice. In Proc. of ASE'97, pages 10-17. IEEE Press, 1997.
6. M. Carman, L. Serafini, and P. Traverso. Web service composition as planning. In Proc. of the 2003 Workshop on Planning for Web Services, 2003.
7. J. Castro, M. Kolp, and J. Mylopoulos. Towards Requirements-Driven Information Systems Engineering: The Tropos Project. Inform. Sys., 27(6):365-389, 2002.
8. G. de Giacomo, Y. Lespérance, and H. J. Levesque. ConGolog, a concurrent programming language based on the situation calculus. Artif. Intell., 121(1-2):109-169, 2000.
9. P. Drucker. Managing the Non-Profit Organization: Principles and Practices. HapperCollins Publishers, 1990.
10. S. Edelkamp and J. Hoffmann. Pddl2.2: The language for the classical part of the 4th international planning competition. Technical Report 195, University of Freiburg, 2004.
11. T. Ellman. Specification and Synthesis of Hybrid Automata for Physics-Based Animation. In Proc. of ASE'03, pages 80-93, 2003.
12. M. J. Gallivan. Striking a balance between trust and control in a virtual organization: a content analysis of open source software case studies. ISJ, 11(2):277, 2001.
13. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, 1995.
14. G. Gans, M. Jarke, S. Kethers, and G. Lakemeyer. Modeling the Impact of Trust and Distrust in Agent Networks. In Proc. of AOIS'01, pages 45-58, 2001.
15. M. Ghallab, A. Howe, C. Knoblock, D. McDermott, A. Ram, M. Veloso, D. Weld, and D. Wilkins. PDDL - The Planning Domain Definition Language. In Proc. of AIPS'98, 1998.
16. P. Giorgini, F. Massacci, J. Mylopoulos, and N. Zannone. Modeling Security Requirements Through Ownership, Permission and Delegation. In Proc. of RE'05, pages 167-176. IEEE Press, 2005.
17. P. Giorgini, F. Massacci, J. Mylopoulos, and N. Zannone. Modelling Social and Individual Trust in Requirements Engineering Methodologies. In Proc. of iTrust'05, LNCS 3477, pages 161-176. Springer-Verlag, 2005.
18. C. B. Haley, R. C. Laney, J. D. Moffett, and B. Nuseibeh. Using Trust Assumptions with Security Requirements. Requirements Eng. J., 11:138-151, 2006.
19. H. Kautz and B. Selman. Planning as satisfiability. In Proc. of ECAI'92, pages 359-363. John Wiley & Sons, Inc., 1992.
20. E. Letier and A. van Lamsweerde. Reasoning about partial goal satisfaction for requirements and design engineering. ACM SIGSOFT Software Eng. Notes, 29(6):53-62, 2004.
21. N. Luhmann. Trust and Power. Wisley, 1979.
22. Z. Manna and R. Waldinger. A Deductive Approach to Program Synthesis. TOPLAS, 2(1):90-121, 1980.
23. F. Massacci, M. Prest, and N. Zannone. Using a Security Requirements Engineering Methodology in Practice: The compliance with the Italian Data Protection Legislation. Comp. Standards & Interfaces, 27(5):445-455, 2005.
24. F. Massacci and N. Zannone. Detecting Conflicts between Functional and Security Requirements with Secure Tropos: John Rusnak and the Allied Irish Bank. Technical Report DIT-06-002, University of Trento, 2006.
25. M. Matskin and E. Tyugu. Strategies of Structural Synthesis of Programs and Its Extensions. Comp. and Informatics, 20:1-25, 2001.
26. J. McDermott and C. Fox. Using Abuse Case Models for Security Requirements Analysis. In Proc. of ACSAC'99, pages 55-66. IEEE Press, 1999.
27. Object Management Group. Model Driven Architecture (MDA). http://www.omg.org/docs/ormsc/01-07-01.pdf, July 2001.
28. J. Peer. Web Service Composition as AI Planning - a Survey. Technical report, University of St. Gallen, 2005.
29. S. Roach and J. Baalen. Automated Procedure Construction for Deductive Synthesis. ASE, 12(4):393-414, 2005.
30. R. K. Runde and K. Stølen. What is model driven architecture? Technical Report UIO-IFI-RR304, Department of Informatics, University of Oslo, March 2003.
31. H.A.Simon. The Science of the Artificial. MIT Press, 1969.
32. G. Sindre and A. L. Opdahl. Eliciting security requirements with misuse cases. Requirements Eng. J., 10(1):34-44, 2005.
33. A. van Lamsweerde, S. Brohez, R. De Landtsheer, and D. Janssens. From System Goals to Intruder Anti-Goals: Attack Generation and Resolution for Security Requirements Engineering. In Proc. of RHAS'03, pages 49-56, 2003.
34. D. S. Weld. Recent Advances in AI Planning. AI Magazine, 20(2):93-123, 1999.
35. R. K. Woolthuis, B. Hillebrand, and B. Nooteboom. Trust, Contract and Relationship Development. Organization Studies, 26(6):813-840, 2005.
36. E. S. K. Yu and L. Liu. Modelling Trust for System Design Using the i* Strategic Actors Framework. In Proc. of the Workshop on Deception, Fraud, and Trust in Agent Societies, LNCS 2246, pages 175-194. Springer-Verlag, 2001.