Astra special-02Astra comm-02Maxim-02libreOf-02debian-02LinuxFound2-02rusbitech-02
fstek   «Astra Linux Special Edition» стала первой и в настоящее время единственной операционной системой, сертифицированной по новым требованиям ФСТЭК России  
   
Уважаемые пользователи ! В настоящее время ведутся профилактические работы на сервере по улучшению качества обслуживания, в связи с чем в ближайшее время будет недоступна система обработки 
заявок. Благодарим за понимание
   

Корректность правил преобразования состояний системы в рамках мандатной сущностно-ролевой ДП-модели ОС семейства

Девянин П.Н. Корректность правил преобразования состояний системы в рамках мандатной сущностно-ролевой ДП-модели ОС семейства Linux // Прикладная дискретная математика. 2013. Приложение № 6. С. 58-59. URL: http://journals.tsu.ru/pdm/&journal_page=archive&id=918&article_id=749.

Яндекс.Метрика