Yomna Ali, Sherif El-Kassas. A rigorous methodology for security architecture modeling and verification. In Frederick T. Sheldon, Axel W. Krings, Robert K. Abercrombie, Ali Mili, editors, Proceedings of the 4th annual workshop on Cyber security and information intelligence research - developing strategies to meet the cyber security and information intelligence challenges ahead, CSIIRW '08, Oak Ridge, Tennessee, USA, May 12-14, 2008. ACM, 2008. [doi]
Abstract is missing.