Formal analysis of attacks for e-voting system. In: (2009)

by K Weldemariam, R A Kemmerer, A Villafiorita
Venue:Forth International Conference on Risks and Security of Internet and Systems, IEEE.