Выборы 2024: ПФ и университет тестируют электронные машины для голосования

Следователи Федеральной полиции (PF) и Федерального университета Мату-Гросу-ду-Сул (UFMS) проводят последние испытания безопасности электронных урн для голосования перед муниципальными выборами этого года, которые запланированы на 6 октября и возможный второй тур на 27 октября. До следующей пятницы (17) в штаб-квартире Высшего избирательного суда (TSE) команды проведут серию подтверждающих тестов, чтобы убедиться, что недостатки, обнаруженные в прошлом году, были исправлены. Так называемая проверка общественной безопасности (TPS) является частью каждого избирательного цикла. В невыборные годы публикуется публичное объявление, в котором все желающие могут зарегистрироваться, чтобы изучить исходные коды и провести атаки с целью поиска уязвимостей в системе электронного голосования. В текущем избирательном цикле TPS проводился с 27 ноября по 2 декабря прошлого года, когда 33 следователя, включая шесть женщин, осуществили 35 планов атак на урны для голосования, получив доступ к исходному коду всех систем голосования. Согласно отчету TPS, атаки, проведенные в прошлом году, не смогли ослабить целостность или секретность голосования, но они обнаружили возможные недостатки, например, в инициализации урны для голосования с появлением непредвиденного сообщения об ошибке. Еще один непредвиденный недостаток был найден PF в процедуре загрузки урны, когда в нее вставляется информация о кандидатах и избирателях, например. Команда, состоящая из профессора и трех студентов из УФМС, также обнаружила два недостатка, связанных с контролем и привилегиями доступа приложений, работающих на урне. «Наши технические группы изучили эти находки, исправили их, и здесь, в этом подтверждающем тесте, мы представляем два исходных кода, то, что было раньше, и те улучшения, которые были сделаны», - объяснил секретарь по информационным технологиям TSE Хулио Валенте. Генеральный директор TSE Рожерио Галлоро назвал TPS «основополагающей для избирательной системы, поскольку она обеспечивает прозрачность и постоянное развитие». Каждая находка следователей «становится эволюцией», добавил он. В ходе подтверждающих испытаний будут протестированы микропрограммное обеспечение (программы управления оборудованием) и носители информации моделей 2022 и 2020 годов, в том числе: менеджер данных, приложения и интерфейс с электронной урной; программное обеспечение для загрузки; программное обеспечение для голосования; система подсчета голосов; комплект JE-connect. В подтверждающих испытаниях также принимают участие семь исследователей из Лаборатории компьютерной архитектуры и сетей (Larc) Политехнической школы Университета Сан-Паулу (Poli-USP). «Академики будут поддерживать исследователей во время выполнения планов повторного тестирования», - говорится в сообщении TSE.