March 19, 2014
SecBPMN

Below there are the scientific publications on SecBPMN. Further publications has been already submitted to conferences and workshops. They will appear in this page, as soon as they will be accepted.
  • Mattia Salnitri, Elda Paja, and Paolo Giorgini Preserving Compliance with Security Requirements in Socio-Technical Systems, In proceeding of Cyber Security and Privacy (CSP) forum 2014 Download paper
  • Mattia Salnitri, Paolo Giorgini Transforming Socio-Technical Security Requirements in SecBPMN Security Policies, In proceeding of IStar workshop 2014. Download paper
  • Mattia Salnitri, Paolo Giorgini Modeling and Verification of ATM Security Policies with SecBPMN, In proceeding of Security and High Performance Computing and Systems (SHCPS) workshop 2014. Download paper
  • Mattia Salnitri, Fabiano Dalpiaz, Paolo Giorgini Modeling and Verifying Security Policies in Business Processes, In Proceedings of Business Process Modeling, Development and Support, 2014. Download paper



The installation manual of SecBPMN software also available for download Download paper
SecBPMN2

Below there are the scientific publications on SecBPMN2.
  • [Technical report] Mattia Salnitri From SecBPMN2 to K Download paper
  • [Technical report] Mattia Salnitri Results scalability tests on STS-Tool 3.0 Download paper
  • [Technical report] Mattia Salnitri, Elda Paja, and Paolo Giorgini Maintaining Secure Business Processes in Light of Socio-Technical Systems' Evolution Download paper
  • [Technical report] Mattia Salnitri, Elda Paja, and Paolo Giorgini From Socio-Technical Requirements to Technical Security Design: an STS-based Framework Download paper
  • Mattia Salnitri, Achim Brucker and Paolo Giorgini Preserving Compliance with Security Requirements in Socio-Technical Systems, In proceeding of Business Process Modeling Development and support (BPMDS) Working conference 2015 Download paper
  • [Technical report] Mattia Salnitri Semantic of SecBPMN2 Download paper