✦ LIBER ✦
Formal analysis and design for engineering security automated derivation of formal software security specifications from goal-oriented security requirements
✍ Scribed by Hassan, R.; Eltoweissy, M.; Bohner, S.; El-Kassas, S.
- Book ID
- 114445027
- Publisher
- The Institution of Engineering and Technology
- Year
- 2010
- Tongue
- English
- Weight
- 505 KB
- Volume
- 4
- Category
- Article
- ISSN
- 1751-8806
No coin nor oath required. For personal study only.