Komminist Weldemariam, Richard A. Kemmerer, Adolfo Villafiorita. Formal Specification and Analysis of an E-voting System. In ARES 2010, Fifth International Conference on Availability, Reliability and Security, 15-18 February 2010, Krakow, Poland. pages 164-171, IEEE Computer Society, 2010. [doi]
Abstract is missing.