Analyzing and Improving the Security of Internet Elections. - Adam Wierzbicki; Krzystof Pietrzak (ISSE, 2007)