Secure Systems Development with UML

Secure Systems Development with UML
Author :
Publisher : Springer Science & Business Media
Total Pages : 318
Release :
ISBN-10 : 9783540264941
ISBN-13 : 3540264949
Rating : 4/5 (41 Downloads)

Book Synopsis Secure Systems Development with UML by : Jan Jürjens

Download or read book Secure Systems Development with UML written by Jan Jürjens and published by Springer Science & Business Media. This book was released on 2005-11-18 with total page 318 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Secure Systems Development with UML Related Books

Secure Systems Development with UML
Language: en
Pages: 318
Authors: Jan Jürjens
Categories: Computers
Type: BOOK - Published: 2005-11-18 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Attacks against computer systems can cause considerable economic or physical damage. High-quality development of security-critical systems is difficult, mainly
Secure Systems Development with UML
Language: en
Pages: 336
Authors: Jan Jürjens
Categories: Business & Economics
Type: BOOK - Published: 2005 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Attacks against computer systems can cause considerable economic or physical damage. High-quality development of security-critical systems is difficult, mainly
Cryptography and Security Systems
Language: en
Pages: 220
Authors: Zbigniew Kotulski
Categories: Computers
Type: BOOK - Published: 2014-08-20 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the Third International Conference on Cryptography and Security Systems, CSS 2014, held in Lublin, Poland, in
Web Services Security Development and Architecture: Theoretical and Practical Issues
Language: en
Pages: 376
Authors: Guti‚rrez, Carlos A.
Categories: Computers
Type: BOOK - Published: 2010-01-31 - Publisher: IGI Global

DOWNLOAD EBOOK

"This book's main objective is to present some of the key approaches, research lines, and challenges that exist in the field of security in SOA systems"--Provid
Multilevel Modeling of Secure Systems in QoP-ML
Language: en
Pages: 262
Authors: Bogdan Ksiezopolski
Categories: Computers
Type: BOOK - Published: 2015-06-10 - Publisher: CRC Press

DOWNLOAD EBOOK

In order to perform effective analysis of today's information security systems, numerous components must be taken into consideration. This book presents a well-