Разработка с KasperskyOS

Более 400 экспертов со всего мира собрались в Сочи на прошлой неделе, чтобы обсудить ключевые вопросы промышленной ИБ на Kaspersky Industrial Cybersecurity Conference!
➡️ Смотреть записи конференции

В рамках конференции эксперты «Лаборатории Касперского» рассказывали о собственных разработках в сфере комплексной киберзащиты:

☝️ KasperskyOS for Mobile
построена на микроядерной архитектуре, а не основана на Linux или Android, что обеспечивает уникальный уровень безопасности.
KasperskyOS для мобильных устройств поддерживает безопасную связь, передачу данных и корпоративные инструменты, обеспечивая бесперебойное подключение через Wi-Fi и LTE. Она идеально подходит для таких отраслей, как энергетика, производство и логистика, где безопасные и профессиональные мобильные устройства имеют решающее значение.

☝️ KasperskyOS SDK for IoT
предоставляет разработчикам все необходимое для создания безопасных решений в рамках концепции интернета вещей, включая ядро ОС, монитор безопасности и драйверы; поддерживает простой перенос программных компонентов из других операционных систем, обеспечивая гибкость и совместимость; идеально подходит для инфраструктуры «умных городов» и промышленной автоматизации и позволяет создавать IoT-контроллеры, которые безопасны по своей конструкции.

☝️ Kaspersky Appicenter
поддерживает все стадии жизненного цикла приложения: от создания до использования. Платформа объединяет пользователей, разработчиков и производителей, предлагая ряд безопасных приложений для расширения функциональности устройств на KasperskyOS. Каждое приложение проходит верификацию на соответствие нашим стандартам безопасности. Разработчикам предлагаются все инструменты и документация, необходимые для создания и распространения приложений.

☝️ Kaspersky IoT Secure Gateway (KISG)
это мост между промышленной инфраструктурой и информационными системами. Он защищен от подавляющего большинства киберугроз, включая даже еще неизвестные. Функциональность шлюза может быть расширена за счет сторонних приложений, которые распространяются через платформу Kaspersky Appicenter. Этот шлюз обеспечит надежное и безопасное соединение и для промышленной автоматизации, и для умного города, и в других проектах интернета вещей.

☝️ Kaspersky Thin Client 2.0
сочетает в себе расширенные возможности для подключения к удаленным рабочим столам, улучшенную производительность и удобный интерфейс. KTC идеально подходит для использования в промышленности, в добывающих отраслях, в здравоохранении и в финансовом секторе. Решение обладает системой централизованного управления, обеспечивая безопасный, удобный и экономически эффективный удаленный доступ к рабочему месту.

Самое важное, что и KasperskyOS for Mobile, Kaspersky Thin Client 2.0 , и Kaspersky IoT Secure Gateway разработаны с использованием кибериммунного подхода, поэтому имеют встроенную безопасность, не требуют дополнительных антивирусов и защищены от подавляющего большинства киберугроз, включая даже еще неизвестные.

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

Автор описал выбор метода и инструмента верификации (использован язык Event-B), напомнил архитектуру KasperskyOS, провёл параллели с архитектурой MILS, описал ключевые сущности, использующиеся при формулировке политик безопасности на языке PSL.

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

Рекомендуем изучить эту статью специалистам в области разработки операционных систем, безопасных решений, разработчикам политик безопасности.

👉 ССЫЛКА НА СКАЧИВАНИЕ

В новом выпуске #InsideCyberImmunity поговорили с главным аналитиком «Лаборатории Касперского» по направлению кибериммунитет Максимом Донцовым. Обсудили, в чем смысл идеологии конструктивной безопасности (Secure by Design), как с ней соотносится кибериммунитет, особенности кибериммунного подхода, экономические аспекты.

• 00:00 — Введение
• 00:51 — Почему стала необходима идеология Security by Design
• 03:49 — Примеры из жизни
• 06:39 — Про зайцев, ёжиков и мудрую сову
• 07:43 — Место кибериммунного подхода
• 09:20 — Особенности кибериммунного подхода. Контекст безопасности и подход Domain-driven design
• 15:00 — Цели безопасности
• 16:39 — Проектирование архитектуры
• 17:40 — Экономические аспекты кибериммунного подхода