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 July 18, 2024. https://clutejournals.com/index.php/RBIS/article/view/4403.