Около 70% американцев проголосовали на избирательных участках в ходе президентских выборов 2024 года. Их бюллетени подсчитывались с помощью машин, называемых Precinct Count Optical Scanners (PCOS).
Исследователи из Университета Тоусона провели систематический анализ тысяч способов, с помощью которых машины PCOS могут иметь уязвимости в процессах или системе безопасности. Цель исследования — помочь местным чиновникам выявить и снизить эти риски.
Их работа была представлена на ежегодном собрании Общества анализа рисков (Society for Risk Analysis), которое проходило 7–10 декабря в Вашингтоне, округ Колумбия.
«Личное голосование сложнее, чем голосование по почте, а это значит, что в процессе может быть больше моментов, когда что-то может пойти не так», — говорит Натали М. Скала, доктор философии, профессор Колледжа бизнеса и экономики и содиректор лаборатории Empowering Secure Elections в Университете Тоусона.
Её команда разработала специальное программное обеспечение для моделирования сценариев угроз PCOS. Инструмент анализа моделирования угроз визуализирует и оценивает более 70 000 уникальных путей уязвимостей в процессе голосования с помощью PCOS, включая этапы настройки, голосования и демонтажа (например, блок-схема показывает, как может произойти несанкционированное изменение в локальном устройстве).
«Наша модель выделяет каждый возможный путь в сценарии, чтобы мы могли увидеть слабые места и понять, где дополнительная защита окажет наибольшее влияние», — говорит Скала. «Просмотр всех этих маршрутов показал нам, насколько важно обеспечить безопасность каждого звена в процессе, а не только самих машин».
Анализ чувствительности позволил исследователям увидеть, какие проблемы безопасности могут оказать наибольшее влияние на честность избирательного процесса. «Это помогает местным организаторам выборов сосредоточить своё время и ресурсы на наиболее важных исправлениях», — говорит Скала.
Исследование показало, что некоторые из наиболее важных проблем безопасности включают:
- Исследование показало, что небольшие процедурные пробелы могут иметь серьёзные последствия. «Дело не всегда в программном обеспечении или коде», — объясняет Скала. «Иногда дело в отсутствии документов или неполной документации о передаче прав собственности. Наша работа показала, что ужесточение этих повседневных деталей значительно повышает общую безопасность выборов».
Команда также разрабатывает интерактивную версию модели, которая позволит организаторам выборов изучить сценарии «что, если» в их собственных процессах голосования, показывая, как даже небольшие процедурные улучшения могут усилить общую безопасность.
Они также начали новый этап исследования, который рассматривает, как общий риск на выборах меняется, когда в процесс добавляются различные меры по снижению рисков. Эта работа поможет определить, какие меры защиты оказывают наибольшее влияние и где ресурсы имеют наибольшее значение.
«Долгосрочная цель — превратить это исследование в нечто практическое, что организаторы выборов смогут использовать для визуализации, измерения и управления рисками до того, как они станут проблемой», — говорит Скала.