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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Jürjens, Jan (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
Edición:1st ed. 2005.
Temas:
Data protection.
Software engineering.
Electronic data processing-Management.
Data and Information Security.
Software Engineering.
IT Operations.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares