[email protected]
Ще ви отговорим до 24 часа
Безплатна доставка със Еконт над 129 лв
Box Now 9.00 лв
Speedy office 11.00 лв
Speedy 13.00 лв
ЕКОНТ 6.00 лв
Еконтомат/Офис на Еконт 6.00 лв
Контакт
Как се пазарува?
Помощ
Доставка
Box Now 9.00 лв
Speedy office 11.00 лв
Speedy 13.00 лв
ЕКОНТ 6.00 лв
Еконтомат/Офис на Еконт 6.00 лв
Безплатна доставка със Еконт над 129 лв
Наръчник за пазаруване
Тук сме за Вас!
[email protected]
Моят акаунт
Станете част от общност от любители на книгите от цял свят и получавате много предимства.
Създай на безплатен акаунт
▸
Празна :-(
0
Formal Specification and Proof of System Safety Using the Schematic Protection Model
Език
Английски език
Английски език
Книга
С меки корици
This research formally specifies the Schematic Protection Model (SPM) to prove its ability to provid...
Цялото описание
Код Либристо: 08142531
?
160 b
160 b
125.25
лв
Външен склад
Изпращаме след 15-20 дни
30 дни за връщане на стоката
Може би ще Ви заинтересува
This research formally specifies the Schematic Protection Model (SPM) to prove its ability to provide security services such as confidentiality and integrity. The theory described by the resultant model was logically proved in the Prototype Verification System (PVS). Each component of SPM was tested, as were several anomalous conditions, and each test produced results consistent with the model. The model is internally modular, and therefore easily extensible, yet cohesive since the theory to be proved encompasses the entire specification.
Информация за книгата
Пълно заглавие
Formal Specification and Proof of System Safety Using the Schematic Protection Model
Автор
Raymond S Way
Език
Английски език
Английски език
Корици
Книга - С меки корици
Дата на издаване
2012
Брой страници
94
Баркод
9781249595380
ISBN
9781249595380
Код Либристо
08142531
Издателство
Biblioscholar
Тегло
181
Размери
189 x 246 x 5
Категории
