Modelling security requirements in socio-technical systems with STS-Tool

CEUR Workshop Proceedings

Volumn 855, Issue , 2012, Pages 155-162

  Paja, Elda ^a   Dalpiaz, Fabiano ^a   Poggianella, Mauro ^a   Roberti, Pierluigi ^a   Giorgini, Paolo ^a  

^a UNIVERSITY OF TRENTO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

INFORMATION SYSTEMS; REQUIREMENTS ENGINEERING; SYSTEMS ENGINEERING;

EARLY REQUIREMENTS; HIGH LEVEL OF ABSTRACTION; MULTI-VIEW MODELLING; REQUIREMENTS MODELLING; SECURITY REQUIREMENTS; SECURITY REQUIREMENTS ENGINEERING; SOCIAL COMMITMENT; SOCIOTECHNICAL SYSTEMS;

TOOLS;

EID: 84879853433     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (11)

1. Paolo Bresciani, Anna Perini, Paolo Giorgini, Fausto Giunchiglia, and John Mylopoulos. Tropos: An Agent-Oriented Software Development Methodology. Autonomous Agents and Multi-Agent Systems, 8(3):203-236, 2004.
2. Fabiano Dalpiaz, Elda Paja, and Paolo Giorgini. Security Requirements Engineering via Commitments. In Proceedings of the First Workshop on Socio-Technical Aspects in Security and Trust (STAST'11), pages 1-8, 2011.
3. Donald G. Firesmith. Security Use Cases. Journal of Object Technology, 2(3):53-64, 2003.
4. Paolo Giorgini, Fabio Massacci, and John Mylopoulos. Requirement Engineering meets Security: A Case Study on Modelling Secure Electronic Transactions by VISA and Mastercard. In Proceedings of the 22nd International Conference on Conceptual Modeling (ER 2003), Volume 2813 of LNCS, pages 263-276. Springer, 2003.
5. Paolo Giorgini, Fabio Massacci, John Mylopoulos, and Nicola Zannone. Modeling Security Requirements through Ownership, Permission and Delegation. In Proceedings of the 13th IEEE International Conference on Requirements Engineering (RE 2005), pages 167-176. IEEE Computer Society, 2005.
6. C.B. Haley, R. Laney, J.D. Moffett, and B. Nuseibeh. Security Requirements Engineering: A Framework for Representation and Analysis. IEEE Transactions on Software Engineering, 34(1):133-153, 2008.
7. Lin Liu, Eric Yu, and John Mylopoulos. Security and Privacy Requirements Analysis within a Social Setting. In Proceedings of the 11th IEEE International Conference on Requirements Engineering (RE 2003), pages 151-161. IEEE Computer Society, 2003.
8. Haralambos Mouratidis and Paolo Giorgini. Secure Tropos: A Security-Oriented Extension of the Tropos methodology. International Journal of Software Engineering and Knowledge Engineering, 17(2):285-309, 2007.
9. Munindar P. Singh. An Ontology for Commitments in Multiagent Systems: Toward a Unification of Normative Concepts. Artificial Intelligence and Law, 7:97-113, 1999.
10. Sandra Trösterer, Elke Beck, Fabiano Dalpiaz, Elda Paja, Paolo Giorgini, and Manfred Tscheligi. Formative User-Centered Evaluation of Security Modeling: Results from a Case Study. International Journal of Secure Software Engineering, 3(1):1-19, 2012.
11. Axel van Lamsweerde. Elaborating Security Requirements by Construction of Intentional Anti-Models. In Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), pages 148-157. IEEE Computer Society, 2004.