Ulferts, Gregory W., Antonio Drommi, and Daniel Shoemaker. “Embedding Security Functionality In Formal Specifications Of Requirements”. Review of Business Information Systems (RBIS) 11, no. 4 (October 1, 2007): 17-26. Accessed August 21, 2020. https://clutejournals.com/index.php/RBIS/article/view/4403.