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