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