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   

Downloads: 0