О представлении МРОСЛ ДП-модели в формализованной нотации Event-B (Rodin Platform)

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