![](/img/cover-not-exists.png)
Formal analysis and design for engineering security automated derivation of formal software security specifications from goal-oriented security requirements
Hassan, R., Eltoweissy, M., Bohner, S., El-Kassas, S.Volume:
4
Year:
2010
Language:
english
DOI:
10.1049/iet-sen.2009.0059
File:
PDF, 505 KB
english, 2010