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...
| প্রধান লেখক: | |
|---|---|
| বিন্যাস: | গবেষণাপত্র |
| ভাষা: | English |
| প্রকাশিত: |
2011.
|
| বিষয়গুলি: |