Komminist Weldemariam, Adolfo Villafiorita. Modeling and Analysis of Procedural Security in (e)Voting: The Trentino s Approach and Experiences. In David L. Dill, Tadayoshi Kohno, editors, 2008 USENIX/ACCURATE Electronic Voting Workshop, July 28-29, 2008, San Jose, CA, USA, Proceedings. USENIX Association, 2008. [doi]
Abstract is missing.