First Page | Document Content | |
---|---|---|
Date: 2009-02-25 10:33:24 | Analysis of an Electronic Voting Protocol in the Applied Pi Calculus Steve Kremer1 and Mark Ryan2 1 Laboratoire Sp´ecification et V´erificationAdd to Reading ListSource URL: www.cs.bham.ac.ukDownload Document from Source WebsiteFile Size: 104,88 KBShare Document on Facebook |