Ulferts, Gregory W., Antonio Drommi, and Daniel Shoemaker. 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.