🚀 На сайте KasperskyOS появился раздел «Исследования» — результат совместной работы «Лаборатории Касперского» и Института системного программирования Российской академии наук в области конструктивной информационной безопасности (КИБ).

Сотрудничество направлено на развитие и применение методологии КИБ при разработке программных продуктов разных классов и распространение этого подхода в ИТ-отрасли.

В разделе представлены:

▶️научные публикации — фундаментальная доказательная база, лежащая в основе KasperskyOS: формальные модели, методы верификации и подходы к проектированию защищенных систем;
▶️технические статьи разработчиков KasperskyOS — практическая реализация принципов КИБ в микроядерной операционной системе и решениях на ее базе.

Информация будет полезна архитекторам, специалистам по ИБ, разработчикам и аналитикам, которые проектируют защищенные системы, а также студентам и всем, кому интересна информационная безопасность.

➡️Изучайте научные подходы и их применение в KasperskyOS!

💙 KasperskyOS в Вконтакте
💬 KasperskyOS в Max