Ebook: О представлении МРОСЛ ДП-модели в формализованной нотации Event-B (Rodin Platform)
Author: Девянин П.Н.
- Genre: Компьютеры // Безопасность
- Tags: Информатика и вычислительная техника, Информационная безопасность, Программно-аппаратные средства обеспечения ИБ, Взлом и защита ПО
- Language: Русский
- pdf
М.: УМО ИБ, 2014. — 13 с.
Научно-практическая конференция «РусКрипто’2014»
Содержание:
Постановка задачи исследования
Схема решения задач исследования
Схема формирования МРОСЛ ДП-модели
Безопасность в смысле Белла-ЛаПадулы и мандатного контроля целостности
Обоснование адекватности реализации
Переход от математической нотации к формализованной (Event-B, Rodin Platform)
Rodin Platform. Пример задания правила
Научно-практическая конференция «РусКрипто’2014»
Содержание:
Постановка задачи исследования
Схема решения задач исследования
Схема формирования МРОСЛ ДП-модели
Безопасность в смысле Белла-ЛаПадулы и мандатного контроля целостности
Обоснование адекватности реализации
Переход от математической нотации к формализованной (Event-B, Rodin Platform)
Rodin Platform. Пример задания правила
Download the book О представлении МРОСЛ ДП-модели в формализованной нотации Event-B (Rodin Platform) for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)