- Subscribe to this page:
- RSS
- Email Alert
Central South University for Nationalities
(1 results)-
White Papers
Automatic Verification of Security Properties in Remote Internet Voting Protocol With Applied Pi Calculus
January 10, 2010, 12:00am PST
Soundness and coercion resistance are the important and intricate security requirements for remote voting protocols. Several formal models of soundness and coercion-resistance have been proposed...
Provided by Central South University for Nationalities
-
White Papers
Automatic Verification of Security Properties in Remote Internet Voting Protocol With Applied Pi Calculus
January 10, 2010, 12:00am PST
Soundness and coercion resistance are the important and intricate security requirements for remote voting protocols. Several formal models of soundness and coercion-resistance have been proposed...
Provided by Central South University for Nationalities
Keep Up with TechRepublic
Submit a Paper
Get your content listed in our directory!
Our directory is the largest library of vendor-supplied technical content on the Web. It’s also the first place IT decision makers turn to when researching technology solutions. Our members are already finding your competitors’ papers here - shouldn’t they find yours, too? It's FREE so click here and submit your white paper, case study, data sheet, research report, or other document today!
