libcats.org
Главная

Secure Systems Development with UML

Обложка книги Secure Systems Development with UML

Secure Systems Development with UML

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
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

Путь к здоровью и долголетию

Автор:
Категория: Здоровье
Размер книги: 1.13 Mb

Самоделки школьника

Автор:
Категория: science, science, technical, hobby, oddjob
Размер книги: 41.91 Mb
Только что пользователи скачали эти книги:

Les outils de la performance industrielle

Автор:
Размер книги: 1.39 Mb

Les basiques de la gestion industrielle et logistique

Автор:
Размер книги: 1.23 Mb

The Lure of the Wolf

Автор:
Категория: fiction
Размер книги: 1.68 Mb

Kinder- und Hausmärchen

Автор: , Автор:
Категория: fiction
Размер книги: 2.29 Mb