На сайте KasperskyOS появился раздел «Исследования»

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

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

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

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

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

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

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