We present the latest version of STS-Tool, the modelling and analysis support tool for STS-ml, an actor- and goal-oriented security requirements modelling language for socio-technical systems. STS-Tool allows designers to model a socio-technical system in terms of high-level primitives such as actor, goal, and delegation; to express security constraints over the interactions between the actors; and to derive security requirements once the modelling is done. The tool features a set of automated reasoning techniques for (i) checking if a given STS-ml model is well-formed, and (ii) determining if the specification of security requirements is consistent, that is, there are no conflicts among security requirements. These techniques have been implemented using disjuntive datalog programs. We have evaluated our tool through various industrial case studies.

Specifying and Reasoning over Socio-Technical Security Requirements with STS-Tool / Paja, Elda; Dalpiaz, Fabiano; Poggianella, Mauro; Roberti, Pierluigi; Giorgini, Paolo. - STAMPA. - 8217:(2013). (Intervento presentato al convegno Inter- national Conference on Conceptual Modeling (ER 2013) tenutosi a Hong Kong nel 11-13/11/2013) [10.1007/978-3-642-41924-9_45].

Specifying and Reasoning over Socio-Technical Security Requirements with STS-Tool

Paja, Elda;Dalpiaz, Fabiano;Poggianella, Mauro;Roberti, Pierluigi;Giorgini, Paolo
2013-01-01

Abstract

We present the latest version of STS-Tool, the modelling and analysis support tool for STS-ml, an actor- and goal-oriented security requirements modelling language for socio-technical systems. STS-Tool allows designers to model a socio-technical system in terms of high-level primitives such as actor, goal, and delegation; to express security constraints over the interactions between the actors; and to derive security requirements once the modelling is done. The tool features a set of automated reasoning techniques for (i) checking if a given STS-ml model is well-formed, and (ii) determining if the specification of security requirements is consistent, that is, there are no conflicts among security requirements. These techniques have been implemented using disjuntive datalog programs. We have evaluated our tool through various industrial case studies.
2013
Proceedings of the 32nd Inter- national Conference on Conceptual Modeling (ER 2013)
Germania
Berlin: Springer-Verlag
9783642419232
Paja, Elda; Dalpiaz, Fabiano; Poggianella, Mauro; Roberti, Pierluigi; Giorgini, Paolo
Specifying and Reasoning over Socio-Technical Security Requirements with STS-Tool / Paja, Elda; Dalpiaz, Fabiano; Poggianella, Mauro; Roberti, Pierluigi; Giorgini, Paolo. - STAMPA. - 8217:(2013). (Intervento presentato al convegno Inter- national Conference on Conceptual Modeling (ER 2013) tenutosi a Hong Kong nel 11-13/11/2013) [10.1007/978-3-642-41924-9_45].
File in questo prodotto:
File Dimensione Formato  
er-w-2013.pdf

Solo gestori archivio

Tipologia: Versione editoriale (Publisher’s layout)
Licenza: Tutti i diritti riservati (All rights reserved)
Dimensione 919.64 kB
Formato Adobe PDF
919.64 kB Adobe PDF   Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11572/67329
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 6
  • ???jsp.display-item.citation.isi??? ND
social impact