Title

Formal Analysis and Design for Engineering Security Automated Derivation of Formal Software Security Specifications from Goal-Oriented Security Requirements

Authors

Shawn Bohner, Rose-Hulman Institute of TechnologyFollow
R. Hassan
M. Eltoweissy
S.P. El-Kassas

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