Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top

2005 | Book

Introduction Read chapter Read first chapter

Secure Systems Development with UML

Author: Jan Jürjens

Publisher: Springer Berlin Heidelberg

Part of: Springer Professional "Wirtschaft+Technik" , Springer Professional "Technik" , Springer Professional "Wirtschaft"

Login to get access
insite
SEARCH

About this book

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 development. It uses the standard UML extension mechanisms, and can be employed to evaluate UML specifications for vulnerabilities using a formal semantics of a simplified fragment of UML. Established rules of security engineering can be encapsulated and hence made available even to developers who are not specialists in security. As one example, Jürjens uncovers a flaw in the Common Electronic Purse Specification, and proposes and verifies a correction.

With a clear separation between the general description of his approach and its mathematical foundations, the book is ideally suited both for researchers and graduate students in UML or formal methods and security, and for advanced professionals writing critical applications.

Table of Contents

Frontmatter

Prologue

1. Introduction
2. Walk-through: Using UML for Security
3. Background

Developing Secure Systems

4. Model-based Security Engineering with UML
5. Applications

Tool Support

6. Tool support for UMLsec
7. A Formal Foundation
8. Formal Systems Development with UML

Epilogue

9. Further Material
10. Outlook
Backmatter
Metadata
Title
Secure Systems Development with UML
Author
Jan Jürjens
Copyright Year
2005
Publisher
Springer Berlin Heidelberg
Electronic ISBN
978-3-540-26494-1
Print ISBN
978-3-540-00701-2
DOI
https://doi.org/10.1007/b137706

Premium Partner

    Image Credits