To pick nits, this is not completely accurate. What is at odds with
non-coercibility is the ability to demonstrate to a third party how
one voted. But there are techniques that allow a voter to verify that
his/her vote was counted correctly without being able to prove this to
others. (Not that
Date: Fri, 28 Jul 2000 07:35:42 -0700
From: "James A. Donald" [EMAIL PROTECTED]
"Provably secure" is a word applicable to cyphers, not protocols. To use
it in reference to a protocol is nonsense gibberish.
No, it is just more difficult to establish of protocols than of
primitives because