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: 309
Authors: Jan Jürjens
Categories: Business & Economics
Type: BOOK - Published: 2005 - Publisher: Springer Science & Business Media

GET EBOOK

The extension UMLsec of the Unified Modeling Language for secure systems development is presented in this text. The book is written in a way which keeps the fir
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
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-
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
Proceedings
Language: en
Pages:
Authors:
Categories: Software engineering
Type: BOOK - Published: 2003 - Publisher:

GET EBOOK

Fundamentals of Secure System Modelling
Language: en
Pages: 218
Authors: Raimundas Matulevičius
Categories: Computers
Type: BOOK - Published: 2017-08-17 - Publisher: Springer

GET EBOOK

This book provides a coherent overview of the most important modelling-related security techniques available today, and demonstrates how to combine them. Furthe
Component-Based Software Development for Embedded Systems
Language: en
Pages: 344
Authors: Colin Atkinson
Categories: Computers
Type: BOOK - Published: 2005-12-12 - Publisher: Springer Science & Business Media

GET EBOOK

This book provides a good opportunity for software engineering practitioners and researchers to get in sync with the current state-of-the-art and future trends

Powered By WordPress | LMS Academic