Ulferts, G. W., Drommi, A., & Shoemaker, D. (2007). Embedding Security Functionality In Formal Specifications Of Requirements. Review of Business Information Systems (RBIS), 11(4), 17–26. https://doi.org/10.19030/rbis.v11i4.4403