Secure Systems Development with UML
Attacks against computer systems can cause considerable economic or physical damage. High-quality development of security-critical systems is difficult, mainly because of the conflict between development costs and verifiable correctness. Jürjens presents the UML extension UMLsec for secure systems d...
| Main Author: | |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2005, 2005
|
| Edition: | 1st ed. 2005 |
| Subjects: | |
| Online Access: | |
| Collection: | Springer eBooks 2005- - Collection details see MPG.ReNa |
Table of Contents:
- Prologue
- Walk-through: Using UML for Security
- Background
- Developing Secure Systems
- Model-based Security Engineering with UML
- Applications
- Tool Support
- Tool support for UMLsec
- A Formal Foundation
- Formal Systems Development with UML
- Epilogue
- Further Material
- Outlook