TY - BOOK TI - Verifiable voting systems PY - 2013/// KW - INFORMATION SECURITY ER -