British Journal eBook

eBook Journal in PDF, ePub, Mobi and Kindle Formats

Secure Systems Development with UML

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

Download Now

Author
Publisher Springer Science & Business Media
Release Date
ISBN 3540264949
Pages 316 pages
Rating 4/5 (41 users)

In this chapter, we present the extension UMLsec of UML which allows one to express security-related information within ... We list requirements on a UML extension for secure systems development and discuss how far our extension meets ...

More Books:

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

GET 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

GET EBOOK

Attacks against computer systems can cause considerable economic or physical damage. High-quality development of security-critical systems is difficult, mainly
Software Engineering for Secure Systems: Industrial and Research Perspectives
Language: en
Pages: 388
Authors: Mouratidis, H.
Categories: Computers
Type: BOOK - Published: 2010-10-31 - Publisher: IGI Global

GET EBOOK

"This book provides coverage of recent advances in the area of secure software engineering that address the various stages of the development process from requi
Security-Aware Systems Applications and Software Development Methods
Language: en
Pages: 416
Authors: Khan, Khaled M.
Categories: Computers
Type: BOOK - Published: 2012-05-31 - Publisher: IGI Global

GET EBOOK

With the prevalence of cyber crime and cyber warfare, software developers must be vigilant in creating systems which are impervious to cyber attacks. Thus, secu
Cryptography and Security Systems
Language: en
Pages: 209
Authors: Zbigniew Kotulski
Categories: Computers
Type: BOOK - Published: 2014-08-20 - Publisher: Springer

GET 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

GET 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

GET 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-
Advanced Information Systems Engineering
Language: en
Pages: 579
Authors: Pascal van Eck
Categories: Computers
Type: BOOK - Published: 2009-05-25 - Publisher: Springer Science & Business Media

GET EBOOK

This book constitutes the refereed proceedings of the 21st International Conference on Advanced Information Systems Engineering, CAiSE 2009, held in Amsterdam,
Security and Dependability for Ambient Intelligence
Language: en
Pages: 392
Authors: George Spanoudakis
Categories: Computers
Type: BOOK - Published: 2009-04-21 - Publisher: Springer Science & Business Media

GET EBOOK

Security and Dependability for Ambient Intelligence is the primary publication of the SERENITY approach, which provides security and dependability (S&D) solutio
Foundations of Security Analysis and Design III
Language: en
Pages: 280
Authors: Alessandro Aldini
Categories: Computers
Type: BOOK - Published: 2005-09-12 - Publisher: Springer Science & Business Media

GET EBOOK

The increasing relevance of security to real-life applications, such as electronic commerce and Internet banking, is attested by the fast-growing number of - se

Powered By WordPress | LMS Academic