Reply #215: There is plenty of programming code

[BootinUp]

that is bought by the government for instance in weapons systems, that is not open source. There is nothing wrong with that model that I can think of for this purpose. It should be the testing regimen that proves the system works, a gauntlet of tests, government auditing of the whole process, and a final approval and testing by some independent panel of experts and interested citizens. They could even challenge experts to hack it, they could use it to unofficialy count votes in a few elections. etc.

One propriety model, non networked.

Opened and inspected by State workers each election and then sealed with a special tamper proof indicating seal.

After the election any tampered with boxes are cause for a re running of the election shoud those boxes contain enough votes to change the election result.

Every election a partial audit to verify machine accuracy is performed by an independent auditing authority on random machines.

Something like that.