![](https://www.pdfsearch.io/img/da2fe7b5f2205d1fc9460798cd548afa.jpg) 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 Website File Size: 104,88 KBShare Document on Facebook
|