Back to Results
First PageMeta Content



Analysis of an Electronic Voting Protocol in the Applied Pi Calculus Steve Kremer1 and Mark Ryan2 1 Laboratoire Sp´ecification et V´erification
Add to Reading List

Document Date: 2009-02-25 10:33:24


Open Document

File Size: 104,88 KB

Share Result on Facebook
UPDATE