Исследования
«Лаборатория Касперского» и Институт системного программирования Российской академии наук проводят совместные исследования в области проектирования ИТ-архитектур, изначально защищенных от кибератак.
Наша цель — развивать научную базу конструктивной информационной безопасности и формировать лучшие практики разработки защищенных систем.
Ниже представлены результаты сотрудничества:
научные публикации ИСП РАН, а также статьи разработчиков о принципах и технологиях, заложенных в основу KasperskyOS.
Научные статьи
Сотрудники ИСП РАН рассказывают об исследованиях в области конструктивной информационной безопасности. В статьях отражены ключевые идеи и результаты научных работ, лежащие в основе концепции кибериммунитета. В них раскрывается, как результаты исследований формируют методологию проектирования защищенных информационных систем, включая KasperskyOS и решения на ее базе.
Материалы будут интересны архитекторам и аналитикам информационной безопасности, проектировщикам безопасного ПО и систем защиты, а также другим специалистам по кибербезопасности.
Последние статьи
Обзор механизмов усиления защищенности операционных систем и пользовательских приложений
Динамическая верификация промышленных средств защиты информации на основе формальных моделей управления доступом
Конструирование программных систем, нацеленное на обеспечение безопасности
Формальная верификация модели мандатного контроля целостности в операционной системе KasperskyOS
Модель мандатного контроля целостности в операционной системе KasperskyOS
Технический блог
Разработчики KasperskyOS делятся опытом конструирования защищенной операционной системы, основанной на принципах КИБ. Здесь публикуются материалы об инструментах разработки и архитектурных решениях, фрагменты кода и схемы взаимодействия компонентов.
Как используется open source в KasperskyOS
Архитектор KasperskyOS раскрывает тонкости и секреты харденинга в статье на Хабре
Безопасность ELF-парсера в KasperskyOS
Углубляем архитектурную защиту
Узнайте больше о KasperskyOS
Вы можете задать нам вопросы о технологиях и возможностях KasperskyOS
Отвечаем на самые популярные вопросы о KasperskyOS и решениях на ее основе
