From Secure Business Process Modeling to Design-Level Security Verification. Ramadan, Q., Salnitri, M., Strüber, D., Jürjens, J., & Giorgini, P. In MODELS'17: ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, pages 123–133, 2017. IEEE.
From Secure Business Process Modeling to Design-Level Security Verification [pdf]Paper  bibtex   
@inproceedings{ramadan2017secure,
  title={From Secure Business Process Modeling to Design-Level Security Verification},
  author={Ramadan, Qusai and Salnitri, Mattia and Str{\"u}ber, Daniel and J{\"u}rjens, Jan and Giorgini, Paolo},
  booktitle={MODELS'17: ACM/IEEE International Conference on Model Driven Engineering Languages and Systems},
  pages={123--133},
  year={2017},
  organization={IEEE},
  url_Paper = {https://www.danielstrueber.de/publications/RSSJG17.pdf},
  keywords = {Model-Driven Engineering, Security and Privacy}
}
Downloads: 0