Title

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