С января 2024 команда научно-образовательного центра “Математическая робототехника и искусственный интеллект” СПбГУ при методологической поддержке “Лаборатории Касперского” работает над прототипом конструктивно защищённого дрона-доставщика.

👉 На канале можно увидеть реализацию всего проекта буквально по шагам.
На сегодняшний день прототип уже летает, может следовать по маршруту, также есть “цифровой двойник” - все компоненты системы дрона.

Имитаторы наземных систем работают в виртуальной машине или в docker контейнерах, требующих достаточно скромных ресурсов (2 GB RAM и около 10 GB пространства) для запуска (для разработки нужно установить предпочитаемую среду, ресурсы будут определяться уже этим инструментом).

В качестве компонентов защиты в системе мы заложили специальный модуль безопасности (МБ) под управлением KasperskyOS. Код этого модуля пишет также команда СПбГУ. Он отвечает за взаимодействие с (имитатором) системы организации воздушного движения, контроль аутентичности полётного задания и контроль перемещения дрона.

МБ работает на отдельной от полётного контроллера (ПК) плате, которая отвечает за перемещение дрона и выполнение миссии. Но, если МБ обнаруживает критические отклонения от полётного задания, он может задействовать альтернативные аппаратные цепи для безопасного (для окружающих) прерывания полёта. За это отвечает - это модуль kill switch. В случае внештатной ситуации, который он отключит питание моторов, а плюс система аварийной посадки в виде парашюта или его аналога, поможет не нанести критический ущерб людям и имуществу третьих лиц.

Пока у прототипа отсутствуют бортовые камеры, и нам пока не удалось отказаться от спутниковой навигационной системы в работе МБ. А парашют пришлось заменить на противную пищалку, чтобы соответствовать ограничениям испытательной трассы Архипелага-2024, где и будет официально представлен дрон-доставщик.

(продолжение)
В ходе инженерных соревнований на Архипелаге-2024 наш прототип будет использоваться командами из ВУЗов со всей России для изучения и применения идей конструктивной защиты. Специально для участников мы разработали концепцию киберпрепятствий: по легенде в некоторых сторонних open source компонентах оказались ошибки и закладки, которые могут критично повлиять на выполнение миссии доставщиком.

Уже после выступлений команд, в рамках Технической лаборатории совместно с участниками, производителями и эксплуатантами дронов мы обсудим следующие шаги: и бортовой искусственный интеллект, и автономная навигация, и может быть даже безопасный групповой полётов дронов!

Интересно? Давайте с нами! 😉
Для начала - не на Сахалин, где пройдет Архипелаг-2024, а к нам - в группу по обучению кибериммунной разработке. Уже скоро мы откроем набор на обучение работе с цифровым двойником кибериммунного дрона-доставщика.

👉 Подписывайтесь на канал и следите за новостями.

Политика архитектуры (ПА) — термин, заимствованный из теории систем с разделением на домены. ПА является единственной общесистемной политикой безопасности, реализуемой на уровне ядра разделения системы, которое отвечает за изоляцию доменов безопасности. ПА использует высокоуровневое описание архитектуры в качестве отправной точки. На диаграмме политики архитектуры цветами выделяется доверенный и недоверенный код, уровень целостности данных, разрешенные взаимодействия компонентов (с учетом их направления).

Политика архитектуры является одним из важнейших артефактов кибериммунного подхода. Вместе с логическим объяснением принятых решений об уровне доверия к доменам безопасности системы она позволяет архитектору обосновать заказчику системы каким образом будут достигаться цели безопасности.

Давайте уже после майских, а? 😣

Доверенный код — это такой хорошо разработанный код, которому можно доверять? Верно ли, что чужой код не может быть доверенным, т.к. он может содержать уязвимости или даже закладки?

В кибериммунном подходе доверенный код (доверенная кодовая база, trusted computing base — TCB) — это код, который критически важен для достижения целей безопасности системы. То есть доверенный код — это код, которому мы вынуждены доверять (и потому вынуждены его тщательно проверять), а не тот, который является «хорошим» с нашей точки зрения.

TCB может включать в себя сторонние библиотеки или целые фреймворки. Задачей архитектора является минимизация TCB, потому что его верификация — сложная и дорогостоящая задача. Задачей команды разработки является проверка всеми доступными средствами этой кодовой базы на предмет уязвимостей и закладок. Тогда этот доверенный код можно будет считать «благонадежным», т.е. таким, который делает то, что от него ожидается.

Отсюда очевидно, что чем меньше такого доверенного кода в системе, тем дешевле будет разработка и обслуживание.

🚆 «Российские железные дороги» решают задачу ресурсосбережения путевого хозяйства Центральной дирекции инфраструктуры (филиал ОАО «РЖД»). Чтобы снизить затраты на электроэнергию, АО «НИИАС», ведущим отраслевым институтом ОАО «РЖД», был разработан передовой проект «СМАРТ. Обогрев стрелок». Он позволяет оптимизировать работу электрообогрева стрелочных переводов путем автоматизации процессов и самостоятельной адаптации к параметрам среды.

Создание подобного проекта было бы невозможно без комплексной киберзащиты. Успешная атака на «СМАРТ. Обогрев стрелок» может не просто нарушить работу системы, но и поставить под угрозу информационную и физическую безопасность инфраструктуры. Защитить ее на всех уровнях помогли технологии «Лаборатории Касперского», в том числе специальное решение на базе KasperskyOS, Kaspersky IoT Infrastructure Security для безопасного и функционального интернета вещей.

👉 Рассказываем о совместном проекте «Лаборатории Касперского» и «РЖД» в подробностях на нашем сайте.

Продолжаем говорить о "доверенном коде" в системе.

"Верно ли, что чем меньше доверенных компонентов в системе, тем лучше?"

🎯 Важно уменьшить общий объем доверенной кодовой базы. При этом необходимо иметь в виду, чем мельче дробление, тем лучше можно контролировать взаимодействие на уровне политик. С другой стороны, тем большее негативное влияние на производительность системы этот контроль оказывает.

В конечном итоге архитектор должен определить оптимальное соотношение для системы, основываясь в том числе на требованиях производительности и обслуживаемости системы, а не только защищенности.

Желательно, чтобы отдельные доверенные компоненты были простыми по логике, маленькими по объему, имели минимальное количество интерфейсов с жестко типизированными параметрами, а сколько таких компонентов будет в итоге не столь важно.

Решения «Лаборатории Касперского» ежедневно фиксируют по всему миру примерно 411 тысяч новых образцов вредоносного ПО. Всего же за 2023 год решения «Лаборатории Касперского» отразили 6,1 миллиард кибератак. В этом году основные угрозы сохраняются, поэтому ожидать падения количества инцидентов компаниям, к сожалению, не приходится. Более того, продолжается политически мотивированный хактивизм, в даркнете появляются новые инструменты, которые упрощают атаки для злоумышленников, растет интерес к атакам на цепочки поставок. Злоумышленники чаще применяют нейросети для создания убедительного контента. Как следствие, попытки мошенничества становятся более изощрёнными.

Об актуальных киберугрозах, тенденциях и о том, как компании в России движутся к цифровому иммунитету рассказывает Анна Кулашова, управляющий директор «Лаборатории Касперского» в России и странах СНГ.

👉 Читать статью

Конференция «Цифровая индустрия промышленной России» состоится 21-24 мая 2024 в Нижнем Новогороде.

ЦИПР входит в пятерку крупнейших мероприятий в области цифровой экономики в России. Уже на протяжении многих лет эта конференция является ключевой площадкой для встреч лидеров рынка и обсуждения лучших практик, технологий и идей.

Помимо обсуждения новых инициатив и предложений экспертами, ЦИПР также является площадкой для хакатонов, питчинг сессий и выставки NFT-искусства.

Мы едем 🙃
Будем рады видеть вас на нашем стенде!

Пока еще эта схема ни разу не подводила…