<p><P>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.</P><P>JΓΌrjens presents the UML extension UMLsec for secu
Secure Systems Development with UML
β Scribed by Jan JΓΌrjens
- Publisher
- Springer
- Year
- 2005
- Tongue
- English
- Leaves
- 317
- Edition
- 1
- Category
- Library
No coin nor oath required. For personal study only.
β¦ Synopsis
The correct development of security-critical computer systems is as vital as it is difficult. This book presents the extension UMLsec of the Unified Modeling Language for secure systems development. The book is written in a way which keeps the first part (ch 1-5), describing UMLsec and ist use, accessible to anyone with an interest in computer security and a basic background on object-oriented systems. It can also be used as part of a general course on applying UML or on computer security. The second part (ch 6-9) is about the mathematical tools needed to use the UMLsec approach to verify UML specifications against security requirements and assumes some familarity with precise methods of system development. A practically relevant example is used throughout the book to demonstrate the presented methods
π SIMILAR VOLUMES
SECTION ONE: INTRODUCTION AND CASE STUDIES -- Modelling and Notation The Unified Modelling Language -- Case Studies ICANDO Oil -- SECTION TWO: THE INTITIATION, ORGANISATION AND MANAGEMENT OF IT PROJECTS -- Project Conception and Initiation -- Software Development Lifecycle -- Managing the Process --
Covering the breadth of a large topic, this book provides a thorough grounding in object-oriented concepts, the software development process, UML and multi-tier technologies. After covering some basic ground work underpinning OO software projects, the book follows the steps of a typical developmen
Covering the breadth of a large topic, this book provides a thorough grounding in object-oriented concepts, the software development process, UML and multi-tier technologies.Β Β After covering some basic ground work underpinning OO software projects, the book follows the steps of a typical developmen