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...
| 主要作者: | |
|---|---|
| 格式: | Thesis |
| 语言: | English |
| 出版: |
2011.
|
| 主题: |