𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Architectural Modeling to Verify Security and Nonfunctional Behavior

✍ Scribed by Hansson, J.; Wrage, L.; Feiler, P.H.; Morley, J.; Lewis, B.; Hugues, J.

Book ID
114585661
Publisher
IEEE
Year
2010
Tongue
English
Weight
771 KB
Volume
8
Category
Article
ISSN
1540-7993

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Software requirements and architecture m
Software requirements and architecture modeling for evolving non-secure applications into secure applications
✍ Michael E. Shin; Hassan Gomaa πŸ“‚ Article πŸ“… 2007 πŸ› Elsevier Science 🌐 English βš– 884 KB

This paper describes an approach to modeling the evolution of non-secure applications into secure applications in terms of the software requirements model and software architecture model. The requirements for security services are captured separately from application requirements, and the security s