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

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Древо жизни

Автор:
Категория: Путь к себе
Размер книги: 1.70 Mb

Handbook of Antennas in Wireless Communications

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

Шликерное литье

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

Programming Role Playing Games with DirectX w/CD

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

Patient Compliance: Sweetening the Pill

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

Wanted dead or alive

Автор: , Автор:
Размер книги: 1 Kb

Festkoerperphysik

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

To Tame a Rogue

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

Yes Captain

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