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...

Full description

Bibliographic Details
Call Number:Libro Electrónico
Main Author: Jürjens, Jan (Author)
Corporate Author: SpringerLink (Online service)
Format: Electronic eBook
Language:Inglés
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
Edition:1st ed. 2005.
Subjects:
Data protection.
Software engineering.
Electronic data processing-Management.
Data and Information Security.
Software Engineering.
IT Operations.
Online Access:Texto Completo
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.

Similar Items