| |||||||||||||
|
| |||||||||||||
Will 'controlled open source' software take over election work? (NewsForge)Will 'controlled open source' software take over election work? (NewsForge)Posted Aug 20, 2004 18:28 UTC (Fri) by tzafrir (subscriber, #11501)In reply to: Will 'controlled open source' software take over election work? (NewsForge) by hummassa Parent article: Will 'controlled open source' software take over election work? (NewsForge)
No. This is practically impossible.
Yes, programs in OCAML (?) can be officially verified. How nice. But what about the implementation of the OCAML compiler? run-time environment? (which are probably written in C)?
What about the libraries and the kernel of the underlying OS? A formally-verifiable OS is, ATM, a non-practical academic research subject.
But then again, the aim is not a totally safe system, but a practically-safe system. If someone wants winning hard enough one can always take a shot at bribing citizens and other low-tech methods. See http://www.schneier.com/crypto-gram-0404.html#4 for a better insight.
(Log in to post comments)
|
|
||||||||||||