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...
| Tác giả chính: | |
|---|---|
| Định dạng: | Luận văn |
| Ngôn ngữ: | English |
| Được phát hành: |
2011.
|
| Những chủ đề: |