|
|||||
|
|
Formal analysis of an electronic voting system: An experience report |
|
| Authors: | Komminist WeldemariamAuthor Vitae Richard A. KemmererAuthor VitaeAdolfo VillafioritaAuthor Vitae |
| Affiliation: | a Foundation Bruno Kessler, via Sommarive 18, TN 38123 Trento, Italy b Department of Computer Science, University of California, Santa Barbara, CA 93106-5110, United States |
| Abstract: | |
| Keywords: | Electronic voting systems ES& S system Formal specification and verification Critical requirements |
| 本文献已被 ScienceDirect 等数据库收录！ | |