М.: УМО ИБ, 2014. — 13 с.
Научно-практическая конференция «РусКрипто’2014»
Содержание:
Постановка задачи исследования
Схема решения задач исследования
Схема формирования МРОСЛ ДП-модели
Безопасность в смысле Белла-ЛаПадулы и мандатного контроля целостности
Обоснование адекватности реализации
Переход от математической нотации к формализованной (Event-B, Rodin Platform)
Rodin Platform. Пример задания правила
Научно-практическая конференция «РусКрипто’2014»
Содержание:
Постановка задачи исследования
Схема решения задач исследования
Схема формирования МРОСЛ ДП-модели
Безопасность в смысле Белла-ЛаПадулы и мандатного контроля целостности
Обоснование адекватности реализации
Переход от математической нотации к формализованной (Event-B, Rodin Platform)
Rodin Platform. Пример задания правила