Formal Analysis and Design for Engineering Security Automated Derivation of Formal Software Security Specifications from Goal-Oriented Security Requirements
Document Type
Article
Publication Date
2010
External Access URL
http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=5440855&isnumber=5440850
Recommended Citation
Hassan, R., Eltoweissy, M., Bohner, S., & El-Kassas, S. (2010). Formal analysis and design for engineering security automated derivation of formal software security specifications from goal-oriented security requirements. IET Software, 4(2), 149-160. http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=5440855&isnumber=5440850
COinS