VehicleSec '25 — Вывод поведения с сохранением состояния и обеспечение безопасности транспортных ...

Вывод состояния поведения и обеспечение безопасности транспортных сетей

Ачинтья Десаи, Калифорнийский университет в Санта-Барбаре; Руочен Дай, Флоридский университет; Янцзюй Чен, Калифорнийский университет в Санта-Барбаре; Ки Хо, Oceanit Laboratories; Остин Ки, Флоридский университет; Софи Булатович, Oceanit Laboratories; Мд Шафиуззаман, Калифорнийский университет в Санта-Барбаре; Кен (Ихан) Бай, Флоридский университет; Иль Унг Чонг и Дэвид Сиу, Oceanit Laboratories; Туба Явуз, Флоридский университет; Тевфик Бултан, Калифорнийский университет в Санта-Барбаре

По мере того, как автомобили превращаются в компьютеры на колесах, или «программно-управляемые транспортные средства», вопросы компьютерной безопасности становятся все более важными. В данной статье мы сосредоточимся на безопасности транспортных коммуникационных сетей, состоящих из электронных блоков управления (ЭБУ), соединенных шиной CAN (Controller Area Network). Мы представляем фреймворк, состоящий из метода вывода поведения для фиксации ожидаемого поведения транспортных средств в определенных сценариях (режимах) в виде конечных автоматов, иерархической модели конечного автомата для мониторинга нескольких сценариев и механизма контроля поведения среды выполнения на основе конечного автомата, который использует идентификацию ЭБУ для аутентификации сообщений. Затем мы представляем модель угроз, характеристику различных типов атак и анализ безопасности на основе фаззинга. Мы реализовали и протестировали наш фреймворк на Toyota Prius и симуляторе BeamNG.tech.

Полную программу VehicleSec '25 можно посмотреть по ссылке https://www.usenix.org/conference/veh...