Trusted Logic Voting (TLV)

The latest edition of Scientific American has an excellent article.

Also - the resource site here is very instructive: http://www.vote.caltech.edu/

This is roughly in alignment with my own ideas for breaking the empasse that currently exists - and this is just a microcosm of what ails the software industry generally.

• I have been trying to get peoples attention to the notion of using open-source voting software as the means to drive transparency in e-Voting processes. My thoughts are that having an open e-Voting software code-based that is community developed and maintained achieves several things.
• Produces an open public specification for the software process, the hardware interfaces, and the results auditing and authentication steps that can be independently verified.
  prevents reliance on proprietary vendor software - and therefore allows a wide range of hardware vendors to deliver solutions that are capatible - thus removing reliance on single supplier.
• Ensures that software being used has underwent an open validation process.
  allows verification of the software used to obtain and compile the results using open testing procedures
• Allows use of a double-blind check - where output from one set of hardware being used by the voter - is feed into two independant solutions - and then both must tally at close of voting.
• Verification that the actual software used is the same as the open standard, (ensure what is loaded onto the machine at open of polling - and verify it is still there during and after).
  

The Open Voting Consortium, in collaboration with the IEEE-1162 and OASIS EML technical committees is currently implementing such a solution set. Governments decision makers are finally starting to take heed. The realization that such an approach can save the public purse $100M in costs, while providing better trusted solutions is a compelling argument, particularly in the USA where States are faced with budget constraints yet demands on them require that they met new legislative voting standards.

Clearly more debate and research on this is all excellent and signs are that this is occurring. The Carter / Boxer Commission is the next pivot point here around which endorsement of open standards could occur.

DW