Publications

Here is presented the list of publications related to STS-ml and STS-Tool, organized by type and displayed in reverse chronological order. Additional material, dataset, source-code or details may be provided upon request through our contact form.

• Fabiano Dalpiaz, Elda Paja, Paolo Giorgini (2016). Security Requirements Engineering: Designing Secure Socio-Technical Systems. MIT Press

• Mattia Salnitri, Fabiano Dalpiaz, Paolo Giorgini (2015). Designing secure business processes with SecBPMN. Software & Systems Modeling, pp. 1-21.
• Elda Paja, Fabiano Dalpiaz, and Paolo Giorgini (2015). Modelling and Reasoning about Security Requirements in Socio-Technical Systems. Data and Knowledge Engineering (DKE), pp. 123-143.
• Per Håkon Meland, Elda Paja, Erlend Andreas Gjære, Stéphane Paul, Fabiano Dalpiaz, Paolo Giorgini (2014). Threat Analysis in Goal-Oriented Security Requirements Modelling. International Journal of Secure Software Engineering, 5 (2) pp. 1–19.
• Sandra Trösterer, Elke Beck, Fabiano Dalpiaz, Elda Paja, Paolo Giorgini, Manfred Tscheligi (2012). Formative User-Centered Evaluation of Security Modeling: Results from a Case Study. International Journal of Secure Software Engineering. 3 (1) pp. 1–19.

• Mattia Salnitri, Achim Brucker and Paolo Giorgini (2015). From Secure Business Process Models to Secure Artifact-Centric Specifications. In proceeding of Business Process Modeling Development and Support (BPMDS) working conference, pp. 246-262.
• Mattia Salnitri, Elda Paja, Mauro Poggianella and Paolo Giorgini (2015). STS-Tool 3.0: Maintaining Security in Socio-Technical Systems. In proceeding of Conference on Advanced Information System Engineering (CAiSE) Forum, pp. 205-212.
• Mattia Salnitri, Elda Paja, and Paolo Giorgini (2014). Preserving Compliance with Security Requirements in Socio-Technical Systems. In proceeding of Cyber Security and Privacy (CSP) forum, pp. 49-61.
• Mattia Salnitri, Paolo Giorgini (2014). Transforming Socio-Technical Security Requirements in SecBPMN Security Policies. In proceeding of IStar workshop.
• Mattia Salnitri, Paolo Giorgini (2014). Modeling and Verification of ATM Security Policies with SecBPMN. In proceeding of Security and High Performance Computing and Systems (SHCPS) workshop.
• Mattia Salnitri, Fabiano Dalpiaz, Paolo Giorgini (2014). Modeling and Verifying Security Policies in Business Processes. In proceeding of Business Process Modeling Development and Support (BPMDS) working conference, pp. 200-214.
• Elda Paja, Fabiano Dalpiaz, Paolo Giorgini (2013). Managing Security Requirements Conflicts in Socio-Technical Systems. In Proceedings of the 32nd International Conference on Conceptual Modeling (ER 2013). pp. 270-283.
• Elda Paja, Fabiano Dalpiaz, Mauro Poggianella, Pierluigi Roberti, Paolo Giorgini (2013). Specifying and Reasoning over Socio-Technical Security Requirements with STS-Tool. In Proceedings of the 32nd International Conference on Conceptual Modeling - Workshops (ER'13 Workshops). pp. 504-507.
• Elda Paja, Fabiano Dalpiaz, Mauro Poggianella, Pierluigi Roberti, Paolo Giorgini (2013) STS-Tool. Specifying and Reasoning over Socio-Technical Security Requirements. In Proceedings of the Sixth International i* Workshop (istar'13).
• Elda Paja, Fabiano Dalpiaz, Paolo Giorgini (2013). Designing Secure Socio-Technical Systems with STS-ml. In Proceedings of the Sixth International i* Workshop (istar'13).
• Elda Paja, Fabiano Dalpiaz, Mauro Poggianella, Pierluigi Roberti, Paolo Giorgini, (2012). STS-Tool: Socio-Technical Security Requirements through Social Commitments. In Proceedings of the 20th International IEEE Conference on Requirements Engineering (RE'12). pp. 331–332.
• Elda Paja, Fabiano Dalpiaz, Mauro Poggianella, Pierluigi Roberti, Paolo Giorgini (2012). STS-Tool: Using Commitments to Specify Socio-Technical Security Requirements. In Proceedings of the 31st International Conference on Conceptual Modelling - Workshops (ER'12 Workshops). pp. 396–399.
• Elda Paja, Fabiano Dalpiaz, Mauro Poggianella, Pierluigi Roberti, Paolo Giorgini (2012). Modelling Security Requirements in Socio-Technical Systems with STS-Tool. In Forum of the 24th International Conference on Advanced Information Systems Engineering (CAiSE'12 Forum). pp. 155–162.
• Elda Paja, Paolo Giorgini, Stephane Paul, Per Hakon Meland. Security Requirements Engineering for Secure Business Processes. In Workshops on Business Informatics Research, Lecture Notes in Business Information Processing, 2012, pp. 77-89.
• Fabiano Dalpiaz, Elda Paja, Paolo Giorgini. Security Requirements Engineering via Commitments. In proceedings of the First Workshop on Socio-Technical Aspects in Security and Trust (STAST'11).
• Fabiano Dalpiaz, Elda Paja, Paolo Giorgini. Security Requirements Engineering for Service-Oriented Applications. In proceedings of the Fifth International i* Workshop (iStar'11).
• Elda Paja, Fabiano Dalpiaz, Paolo Giorgini, Stephane Paul, Per Hakon Meland. Modelling Trust and Security Requirements: the Air Traffic Management Experience. In Proceedings of iStar Showcase 2011.