
Independent Security Vulnerability Testing Of Sequoia Voting Systems For Alameda Countyby Michelle Gabriel & Colleagues BackgroundOn the June 8th, 2006 meeting of the Alameda County Board of Supervisors, an amendment to the Sequoia contract was approved for security and vulnerability testing. The intention of the BoS was evident during the discussion that led up to the vote. The term "hack test" was used repeatedly. The most telling quote is the final amendment statement by Supervisor Lai Bitker and commented on by Supervisor Carson. Hack testing is a slang/colloquial term with no formal definition in the computer security community. Similar terms with more specific meanings are red team attack and penetration test which mean assessing and testing vulnerabilities and limitations of systems or structures from an adversarial perspective. For the purposes of clear definition, for the rest of this document "hack test" won't be used. Instead, security evaluation test will be used and the definition will include an exploration and learning phase where the evaluator works to understand the machine and a second phase of "attack demonstration" showing what could be done in a real election. For a test of this type to be truly meaningful it must be free from any manipulation of the results. This would include, but not be limited to, independent selection of equipment to test and verification that the software is the same as the SoS has on file. For a full assessment to be truly meaningful it should include, but not be limited to, access to source code and other documentation. A security and vulnerability test, as voted on the BoS, needs to include a security evaluation test as a key subset to that testing. Assessment of the whole system must include this testing as part of the system testing for the testing to be meaningful. The citizens of Alameda County insist that the Board of Supervisors and their Staff, including the Registrar of Voters, the General Services Administration, and the County Counsel uphold the amendment and it's intent prior to the November 7th election. The testing and assessment must be done in a timely manner such that the County and candidates for office can have time to take action based on the results. Once the testing is done, the BoS is to discuss in closed session how to make the results public. Examples of public disclosure that do not compromise the security of the system include the VSTAAB report on Diebold. Please see back up in Appendix A to all statements in this BACKGROUND section. Criteria For The "Security Evaluation Testing" Portion Of The Security Vulnerability Assessmentby Jim Soper & Colleagues Summary
Security vulnerability testing can only demonstrate that a system is vulnerable. It cannot demonstrate that a system is not vulnerable. This is similar to testing the passenger screening procedures at an airport. If a tester can get through the screening carrying a weapon, it proves that the system is vulnerable. If the tester is stopped, it does not prove that the system is invulnerable, only that one tester was stopped. Security vulnerability testing also does not address issues such as hidden code (Easter Eggs) present in the software or firmware. It would be very much in the public's interest for the county to conduct a thorough security analysis, including independent: "Security Evaluation Test" Goals
Testers
System Hardware, Software, And Firmware To Be Tested
Test Protocols
Timing
Publication
Observers
15004, Technical ObserversCalifornia Elections Code, Section 15004 : "The county central committee of each qualified political party may employ, and may have present at the central counting place or places, not more than two qualified data processing specialists or engineers to check and review the preparation and operation of the tabulating devices, their programming and testing, and have the specialists or engineers in attendance at any or all phases of the election." Nobody, and no machine, should be counting American votes in secret.For further information, email Jim Soper at :
Jim.Soper@GMail.com
|