Formal Verification of Voting and Auction Protocols
In this document, we formally analyze security in electronic voting and electronic auctions. On-line voting is now available in several countries, ...Télécharger Formal Verification of Voting and Auction Protocols pdf
