Astra special-02Astra comm-02Maxim-02libreOf-02debian-02LinuxFound2-02rusbitech-02
fstek   «Astra Linux Special Edition» стала первой и в настоящее время единственной операционной системой, сертифицированной по новым требованиям ФСТЭК России  
баннер       

Впервые в России состоится выставка-форум, на котором ведущие российские производители аппаратных и программных решений продемонстрируют комплексные решения на базе отечественной операционной системы Astra Linux, которые могут работать в единой информационной инфраструктуре.

      

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

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

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