Gaining assurance in a voter-verifiable voting system

ALBERDI, E. ; STRIGINI, L. ; LEACH, K. ; RYAN, P. ; PALANQUE, Philippe ; WINCKLER, M. . Gaining assurance in a voter-verifiable voting system. In: International Conference on Dependability, 2009, Athens, Greece. International Conference on Dependability (DEPEND 2009). Washignton DC: IEEE Computer Society, 2009.

2009