Advertisement

STS-Tool: Using Commitments to Specify Socio-Technical Security Requirements

  • Elda Paja
  • Fabiano Dalpiaz
  • Mauro Poggianella
  • Pierluigi Roberti
  • Paolo Giorgini
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7518)

Abstract

In this paper, we present STS-Tool, the modelling and analysis support tool for STS-ml, an actor- and goal-oriented security requirements modelling language for Socio-Technical Systems (STSs). STS-Tool allows designers to model a socio-technical system at a high-level of abstraction, while expressing constraints (security needs) over the interactions between the actors in the STS, and derive security requirements in terms of social commitments (promises with contractual validity) once the modelling is done.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Dalpiaz, F., Paja, E., Giorgini, P.: Security requirements engineering via commitments. In: Proceedings of the First Workshop on Socio-Technical Aspects in Security and Trust (STAST 2011), pp. 1–8 (2011)Google Scholar
  2. 2.
    Giorgini, P., Massacci, F., Mylopoulos, J., Zannone, N.: Modeling security requirements through ownership, permission and delegation. In: Proceedings of the 13th IEEE International Conference on Requirements Engineering (RE 2005), pp. 167–176 (2005)Google Scholar
  3. 3.
    Liu, L., Yu, E., Mylopoulos, J.: Security and Privacy Requirements Analysis within a Social Setting. In: Proceedings of the 11th IEEE International Conference on Requirements Engineering (RE 2003), pp. 151–161. IEEE Computer Society (2003)Google Scholar
  4. 4.
    Singh, M.P.: An Ontology for Commitments in Multiagent Systems: Toward a Unification of Normative Concepts. Artificial Intelligence and Law 7, 97–113 (1999)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Elda Paja
    • 1
  • Fabiano Dalpiaz
    • 1
  • Mauro Poggianella
    • 1
  • Pierluigi Roberti
    • 1
  • Paolo Giorgini
    • 1
  1. 1.Department of Information Engineering and Computer ScienceUniversity of TrentoItaly

Personalised recommendations