Ulferts, G. W., A. Drommi, and D. Shoemaker. “Embedding Security Functionality In Formal Specifications Of Requirements”. Review of Business Information Systems (RBIS), vol. 11, no. 4, Oct. 2007, pp. 17-26, doi:10.19030/rbis.v11i4.4403.