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
Только что пользователи скачали эти книги:

Mathematical and Statistical Methods in Insurance and Finance

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

RMAN Recipes for Oracle Database 11g

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

Psychoacoustics: Facts and Models (Springer Series in Information Sciences)

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

Kant's Thinker

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

Swing, Second Edition

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

the Last Straw

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

Waking Up in Eden- In Pursuit of an Impassioned Life on an Imperiled Island

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