DEF CON 33 - Voting Village - History and Significance of the TTBR and PEASWG - Debra Bowen
三句話摘要
前加州國務卿德博拉·鮑恩談如何透過系統化安全審計和獨立專家評估,從根本上改造美國選票系統的安全性。 採納銀行級安全標準、獨立第三方驗證與系統化事後審計,能在承認軟體總會有漏洞的前提下,建構真正安全的選舉制度。 獨立專家審查的必要性:鮑恩召集來自大學、私人部門的技術專家(而非政府官員或供應商代表)組成審查團隊,這是歷史上少數獲得投票機源代碼進行深度研究的機會。她強調政府選舉官員通常缺乏技術背景,容易被廠商行銷團隊誤導。
重點整理
重點- 1
獨立專家審查的必要性:鮑恩召集來自大學、私人部門的技術專家(而非政府官員或供應商代表)組成審查團隊,這是歷史上少數獲得投票機源代碼進行深度研究的機會。她強調政府選舉官員通常缺乏技術背景,容易被廠商行銷團隊誤導。
- 2
物理與軟體漏洞的實例:一家供應商的投票機採用翻蓋式外殼,只用飛利浦螺絲刀鎖定,這使得機器可被輕易打開;此外,eBay上只需花$29.95就能買到Diebold投票機的編程卡,推翻了供應商宣稱的「嚴格安全控制」。
- 3
從紙質系統轉向獨立驗證機制:縱向審查發現觸屏投票機無法獨立審計結果,只會重複輸入的計算。為解決此問題,她最終撤銷大部分觸屏系統認證,只保留一台供身障選民使用,並推動事後審計制度。
- 4
銀行業安全標準的應用:採取雙簽核、設備跟蹤、銀行家袋子存儲等措施,將選票設備當作「國家民主的鑰匙」看待,施加與金融業相同級別的安全管理。
實用技巧與重點
乾貨- 縱向審查報告:771頁
- 加州觸屏投票設備投資額:$450百萬
- eBay程序卡價格:$29.95
- 審查經費:約$760百萬(其中一半來自Help America Vote Act聯邦基金,一半由廠商支付)
- 起訴方數量:約40個加州郡,全數敗訴
- 選票保管期限:22個月(象徵意義:大象妊娠期)
- 供應商:Diebold、ES&S等
- 關鍵概念:軟體獨立性(Software Independence)、風險限制審計(Risk-Limiting Audits)、紅隊測試(Red Team Testing)
- 審查內容:文件審查、源代碼審查、紅隊滲透測試、無障礙審查
- 截止時限:選舉前6個月(加州法律規定,給郡級採購與培訓的時間)
- 安全設備:銀行家袋子、雙簽核日誌、設備序列號追蹤、票箱倉庫實體安全
- 關鍵人物:Matt Bishop、Matt Blae、David Jefferson、Philip Stark、Bev Harris
結論
結論“採納銀行級安全標準、獨立第三方驗證與系統化事後審計,能在承認軟體總會有漏洞的前提下,建構真正安全的選舉制度。”
完整解析
詳細德博拉·鮑恩的職業生涯始於技術與民主的交會點。1992年進入加州議會時,她就推動加州成為全球首個免費線上公開立法記錄的地區,後來又主導數位簽名合法化。但真正改變她人生軌跡的,是2006年一位朋友寄來的連結——Blackbox Voting網站。這個非營利組織揭露了Diebold投票機的源代碼(被廠商意外公開在網站上),一位華盛頓州祖母Bev Harris下載並邀請電腦科學家檢視內部代碼。鮑恩花三天三夜閱讀這些代碼,「胃痛得厲害」,因為她清楚看到美國選舉系統對駭客與軟體錯誤的脆弱性。這個發現促使她在2006年競選加州國務卿,把「縱向審查投票系統」作為主要競選承諾。
她面臨的挑戰巨大。加州已投入$450百萬購置觸屏投票設備,郡級與廠商都不樂見推翻此決策。但鮑恩仁確信自己的法律授權——州法要求國務卿「定期審查投票系統是否有缺陷、過時或不可接受」——範圍極為寬廣。她組織來自公私部門大學的獨立專家(包括後來DEF CON投票村的共同創辦人),採用銀行業「紅隊滲透測試」標準。在國務卿辦公室內建立如同無菌製造廠的隔離測試室,任何人進出都須雙重簽核。
審查發現了令人震驚的漏洞。某廠商投票機用翻蓋式外殼,鎖在前方,但側邊用飛利浦螺絲刀可直接拆開;鮑恩自己在eBay上花$29.95買了三張Diebold編程卡,推翻了廠商「絕對安全」的說詞。透過這些編程卡,駭客可上傳病毒,病毒會隨著計票結果上傳至郡級系統,在下次選舉時擴散。她更指出了根本問題:要求電腦計算自己已tallied的總數,電腦只會重複相同答案——必須有獨立機制審計。
這認知導向事後審計工作組的成立。由David Jefferson主持、Philip Stark指導,團隊開發了「風險限制審計」(RLA)——一套系統化方法,透過逐步審查選票,直到統計上能排除所有可能的風險(降至0.000001以下),才能宣布選舉結果準確。這套方法成為國際黃金標準。
鮑恩的行動隨之而來。她撤銷觸屏投票系統認證(除每個投票所保留一台供身障人士使用);實施新安全要求——採銀行家袋子、設備序列號追蹤、雙簽核日誌。選票保管22個月(象牙人類妊娠期),讓任何法律挑戰都變成「陳年舊案」。約40個郡訴訟,全數敗訴。最終771頁的縱向審查報告,用普通人能懂的語言翻譯複雜的技術發現。
她的成功源於獨特結合:足夠的技術背景(兩堂程式課、祖父在機械工具公司見證CAD/CAM革命)、法律訓練(稅法背景教會她系統化思維)、與堅定的原則——從國中挑戰新聞審查、高中反對校服限制開始,她學會「為信念挺身」。她強調政治生涯最重要的不是聰穎,而是「脊椎」(原則)與「關心」。
關鍵時刻
Pipeline v2帶時間戳的重點,會在逐字稿層級分析上線後產生。目前請先透過原始影片觀看。
事實查核
Pipeline v2說法查證是下一次管線升級的一部分。KeyFrame 只會顯示它真正能驗證的內容。

