Secure systems development with UML /
| Основен автор: | Jürjens, Jan. |
|---|---|
| Формат: | Книга |
| Език: | English |
| Публикувано: |
Berlin ; New York :
Springer,
c2005.
|
| Предмети: | |
| Онлайн достъп: |
Table of contents Publisher description Book jacket |
Съдържание:
- 1. Introduction
- 2. Walk-through : using UML for security
- 3. Background
- 4. Model-based security engineering with UML
- 5. Applications
- 6. Tool support for UMLsec
- 7. A formal foundation
- 8. Formal systems development with UML
- 9. Further material
- 10. Outlook
- A. Towards UML 2.0
- B. The semantics of UML machine rules
- C. Proofs.