A rigorous methodology for security architecture modeling and verification. - Yomna Ali; Sherif El-Kassas (CSIIRW, 2008)

A Rigorous Methodology for Security Architecture Modeling and Verification. - Yomna Ali; Sherif El-Kassas; Mohy Mahmoud (HICSS, 2009)