Аудит урн для голосования в Бразилии не исключил возможности фальсификаций

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

Министерство обороны уточнило в пресс-релизе, что аудит урн для голосования не нашел прямых доказательств фальсификации выборов, но при этом «не исключил возможность наличия мошенничества или несоответствия в электронных машинах для голосования и в избирательном процессе 2022 г.».

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

Кроме того, функциональные тесты урн «в том виде, в котором они проводились, были недостаточными, чтобы исключить возможность влияния возможного вредоносного кода, способного изменить работу системы голосования».

Кроме того, работники избиркомов, точнее, их технические специалисты, не имели адекватного доступа к исходному коду и программным библиотекам, разработанным третьими сторонами, что делало невозможным полное понимание выполнения кода, который содержит более 17 миллионов строк программирования. То есть ответственные за выборы в Бразилии учреждения понятия не имели, что именно содержит программа для электронных урн.

«В результате этих выводов и других препятствий, перечисленных в отчете, невозможно гарантировать, что программы, которые были запущены в электронных машинах для голосования, свободны от вредоносных вставок, которые изменяют их работу», — сообщает пресс-служба минобороны Бразилии.

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

Напомним, президент Бразилии Жаир Болсонару, проигравший выборы при том, что его партия одержала рекордные победы как в заксобрание страны, так и на местных выборах, высказал предположение, что машины для голосования как-то не так считали результаты президентских выборов и поручил военным специалистам провести расследование.

Отметим, что несложно запрограммировать компьютеры, чтобы они какой-то процент голосов кандидата А отдавали кандидату Б. Машины для подсчета голосов в США так делают, это доказано. Поэтому исключать этого в Бразилии нельзя.