Analysis of electronic ballot transmission protocols in the applied pi calculus
In this research, we perform formal analysis of transmission protocols used in electronic voting. We used the applied pi-calculus, a formal language for concurrent and communicating processes with extensions that are particularly advantageous in modeling cryptographic protocols. We begin by formally...
| Main Author: | |
|---|---|
| Format: | Thesis |
| Language: | English |
| Published: |
2011.
|
| Subjects: |