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.
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}
}