Bản dựng 2019: Phần mềm ElectionGuard của Microsoft để cung cấp các công cụ để bầu cử an toàn

0
18


Microsoft đã công bố một nỗ lực đầy tham vọng để làm cho việc bỏ phiếu an toàn, có thể kiểm chứng và chịu sự kiểm toán đáng tin cậy bằng cách đăng ký phiếu bầu ở dạng mã hóa để họ có thể được theo dõi chính xác và độc lập lâu sau khi bỏ phiếu.

Hai trong số ba nhà cung cấp bầu cử hàng đầu của Hoa Kỳ đã bày tỏ sự quan tâm đến khả năng kết hợp phần mềm nguồn mở vào các hệ thống bỏ phiếu của họ.

Phần mềm đang được phát triển với Galois, một công ty có trụ sở tại Oregon, tạo ra một nguyên mẫu hệ thống bỏ phiếu an toàn theo hợp đồng với cơ quan nghiên cứu tiên tiến của Lầu Năm Góc, DARPA. Được đặt tên là "ElectionGuard", nó sẽ có sẵn vào mùa hè này, Microsoft nói, với các nguyên mẫu sớm đã sẵn sàng để thí điểm cho cuộc tổng tuyển cử vào năm tới của Hoa Kỳ.

CEO Satya Nadella đã công bố sáng kiến ​​vào thứ hai tại hội nghị của nhà phát triển tại Seattle, nói rằng bộ công cụ phát triển phần mềm sẽ giúp "hiện đại hóa tất cả các cơ sở hạ tầng bầu cử ở khắp mọi nơi trên thế giới."

Ba công ty ít được biết đến của Hoa Kỳ kiểm soát khoảng 90% thị trường thiết bị bầu cử, nhưng từ lâu đã phải đối mặt với sự chỉ trích về an ninh kém, công nghệ cổ xưa và không đủ minh bạch xung quanh các hệ thống bỏ phiếu hộp đen độc quyền của họ.

Phần mềm nguồn mở vốn đã an toàn hơn vì mã cơ bản dễ bị các chuyên gia bên ngoài xem xét kỹ lưỡng nhưng đã bị các nhà cung cấp thống trị có khách hàng – 10.000 khu vực bầu cử của quốc gia – chủ yếu bị buộc tiền mặt.

Không ai đưa ra giá thầu khi Travis County, Texas, quê nhà của Austin, tìm cách xây dựng một hệ thống với các thuộc tính xác minh "từ đầu đến cuối" mà ElectionGuard hứa sẽ cung cấp.

Hai trong số các nhà cung cấp hàng đầu, Election Systems & Software của Omaha, Nebraska và Hart InterCivic của Austin, Texas, cả hai đều bày tỏ sự quan tâm đến việc hợp tác với Microsoft cho ElectionGuard. Người phát ngôn của một nhà cung cấp thứ ba, Dominion V Phiếu Systems của Denver, cho biết công ty mong muốn "tìm hiểu thêm" về sáng kiến ​​này.

Bất cứ ai có hệ thống bầu cử hiện tại hoặc phát triển một hệ thống mới sẽ có thể kết hợp ElectionGuard – ở cấp tiểu bang hoặc địa phương ở cấp Hoa Kỳ hoặc quốc gia cho các khu vực pháp lý ở nước ngoài.

Dan Wallach, một nhà khoa học máy tính của Đại học Rice, người hỗ trợ cho Travis County, nói: "Một khi rào cản gia nhập đủ thấp, hy vọng một trong số các nhà cung cấp sẽ làm điều đó và điều đó sẽ mang lại cho họ phần còn lại đủ nhanh".

"Nó có thể được sử dụng với một thiết bị đánh dấu lá phiếu. Nó có thể được sử dụng với một máy quét quang học, trên các lá phiếu bằng giấy được đánh dấu bằng tay", Josh Benaloh, một nhà mật mã học cao cấp tại Microsoft Research và là người đóng góp chính cho dự án ElectionGuard nói. Benaloh đã giúp tạo ra một báo cáo của Viện Hàn lâm Khoa học Quốc gia vào năm ngoái, kêu gọi một cuộc đại tu khẩn cấp của hệ thống bầu cử ọp ẹp của Hoa Kỳ, mà tin tặc Nga đã xâm nhập vào năm 2016 tại một số bang.

Báo cáo đó kêu gọi tất cả các cuộc bầu cử ở Hoa Kỳ được tổ chức trên các lá phiếu bằng giấy có thể đọc được vào năm 2020. Nó cũng ủng hộ một hình thức kiểm toán sau bầu cử thông thường để đảm bảo số phiếu chính xác – một yêu cầu mà việc xác minh bỏ phiếu từ đầu đến cuối phải thỏa mãn.

Nhà hoạt động bầu cử liêm chính Susan Greenhalgh của Liên minh Bảo vệ Bầu cử Quốc gia cho biết bà hy vọng nó sẽ khuyến khích tư duy đổi mới ở cuộc bầu cử cấp thực sự được quản lý.

"Chúng tôi không thể bỏ phiếu dựa trên đức tin nữa", cô nói. "Đây là một bước tiến tuyệt vời trong việc xác minh kết quả bầu cử."

ElectionGuard sẽ cho phép cử tri xác nhận rằng phiếu bầu của họ được ghi lại chính xác. Ngoài ra, trình theo dõi được mã hóa duy nhất mà nó tạo ra đăng ký một phiên bản mã hóa của phiếu bầu giữ bí mật cho sự lựa chọn lá phiếu trong khi đảm bảo số phiếu được tính chính xác.

Điều đó cho phép kiểm tra sau đăng ký đáng tin cậy và kể lại.

Nó cũng cho phép những người bên ngoài như các nhóm theo dõi bầu cử, các đảng chính trị, nhà báo – và chính cử tri – xác minh trực tuyến rằng phiếu bầu được tính đúng mà không bị thay đổi.

Giám đốc điều hành của Microsoft cho biết họ cũng có kế hoạch xây dựng một hệ thống bỏ phiếu nguyên mẫu để tham khảo.

Một quan chức bầu cử, người đã có cuộc trò chuyện thân mật với các nhà lãnh đạo dự án ElectionGuard là Dean Logan, người điều hành các cuộc bầu cử cho Hạt Los Angeles, đông dân nhất quốc gia, và đang xây dựng một hệ thống bỏ phiếu nguồn mở cho nó.

Một spinoff của Galois được gọi là Free & Fair đã phát triển các cuộc kiểm toán hậu kỳ phức tạp, được gọi là "hạn chế rủi ro" đối với Colorado, là tiểu bang đầu tiên của Hoa Kỳ yêu cầu kiểm toán được đề xuất trong báo cáo của Viện Hàn lâm Khoa học Quốc gia.

ElectionGuard không được thiết kế để hoạt động với các chương trình bỏ phiếu qua internet – điều mà các chuyên gia cho rằng quá dễ bị hack – và hiện không hoạt động với các hệ thống bỏ phiếu qua thư.

ES & S nói với Associated Press qua email rằng họ rất vui mừng được hợp tác với Microsoft và "vẫn đang khám phá tiềm năng" để kết hợp bộ phần mềm với các hệ thống bỏ phiếu của mình.

Hart InterCivic, nhà cung cấp số 3, cho biết họ đã lên kế hoạch cho một dự án thử nghiệm với Microsoft để "kết hợp chức năng ElectionGuard như một tính năng bổ sung" nằm trên nền tảng cốt lõi của nó.

Người phát ngôn của Dominion, nhà cung cấp số 2, cho biết "Chúng tôi rất thích tìm hiểu thêm về sáng kiến ​​này và có thể xem xét các nguyên mẫu khác nhau đang được lên kế hoạch, cùng với việc nghe thêm về các nỗ lực được liên bang hỗ trợ khác trong không gian bầu cử . "

Edgardo Cortés, cựu ủy viên bầu cử Virginia hiện tại với Trung tâm Brennan của Đại học New York, hoan nghênh sự hỗ trợ của khu vực tư nhân bổ sung cho các hệ thống bầu cử.

"Tôi nghĩ rằng sẽ mất một thời gian để bắt kịp và xem lợi ích (ElectionGuard) cuối cùng sẽ như thế nào," ông nói. "Nhưng tôi nghĩ rằng nó chắc chắn có rất nhiều tiềm năng."

Đại học Columbia sẽ hợp tác với Microsoft để kiểm toán các phi công.

<! –

->



Nguồn Gadgets NDTV

BÌNH LUẬN

Vui lòng nhập bình luận của bạn
Vui lòng nhập tên của bạn ở đây

Comment moderation is enabled. Your comment may take some time to appear.