О представлении МРОСЛ ДП-модели в формализованной нотации Event-B [Текст] = Representing MROSL DP-model in Event-B notation / П. Н. Девянин [и др.] // Проблемы информационной безопасности. Компьютерные системы. - 2014. - № 3. - С. 7-15. - Библиогр.: с. 15 (8 назв.). - Выпуск данного журнала составлен по материалам докладов на конференции "Рускрипто-2014", состоявшейся 25-28 марта 2014 г. в Москве . - ISSN 2071-8217
Рубрики: Вычислительная техника Вычислительная техника в целом Кл.слова (ненормированные): Event-B -- безопасность -- доклады -- информационная безопасность -- компьютерная безопасность -- конференции -- модели безопасности -- операционные системы -- формализованная нотация Аннотация: Рассматривается переход от математической нотации представления мандатной сущностно-ролевой ДП-модели (МРОСЛ ДП-модели), ориентированной на реализацию в отечественной защищенной операционной системе специального назначения Astra Linux Special Edition (ОССН), к формализованной нотации Event-B. The paper presents an approach of transforming the mandatory entity-role access control and information flow model for Linux-based operating system from human-readable mathematical representation to machine-readable Event-B notation. Доп.точки доступа: Девянин, П. Н.; Кулямин, В. В.; Петренко, А. К.; Хорошилов, А. В.; Щепетков, И. В. Нет сведений об экземплярах (Источник в БД не найден) |