A rigorous methodology for security architecture modeling and verification

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]

Authors

Yomna Ali

This author has not been identified. Look up 'Yomna Ali' in Google

Sherif El-Kassas

This author has not been identified. Look up 'Sherif El-Kassas' in Google