{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:11:17Z","timestamp":1760202677354},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2015,1,6]],"date-time":"2015-01-06T00:00:00Z","timestamp":1420502400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2016,10]]},"DOI":"10.1007\/s10270-014-0445-x","type":"journal-article","created":{"date-parts":[[2015,1,5]],"date-time":"2015-01-05T06:36:02Z","timestamp":1420439762000},"page":"1049-1062","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Automated anonymity verification of the ThreeBallot and VAV voting systems"],"prefix":"10.1007","volume":"15","author":[{"given":"Murat","family":"Moran","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James","family":"Heather","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steve","family":"Schneider","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,1,6]]},"reference":[{"key":"445_CR1","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1145\/358549.358563","volume":"24","author":"D Chaum","year":"1981","unstructured":"Chaum, D.: Untraceable electronic mail, return addresses, and digital pseudonyms. Commun. ACM 24, 84\u201390 (1981)","journal-title":"Commun. ACM"},{"key":"445_CR2","doi-asserted-by":"crossref","unstructured":"Fujioka, A., Okamoto, T., Ohta, K.: A practical secret voting scheme for large scale elections. In: AUSCRYPT, pp. 244\u2013251 (1992)","DOI":"10.1007\/3-540-57220-1_66"},{"key":"445_CR3","unstructured":"Juels, A., Catalano, D., Jakobsson, M.: Coercion-resistant electronic elections. In: IACR Cryptology ePrint Archive, p. 165 (2002)"},{"key":"445_CR4","doi-asserted-by":"crossref","unstructured":"Chaum, D., Ryan, P.Y.A., Schneider, S.A.: A practical voter-verifiable election scheme. In: ESORICS, pp. 118\u2013139 (2005)","DOI":"10.1007\/11555827_8"},{"key":"445_CR5","unstructured":"Rivest, R.L.: The Threeballot Voting System (2006). http:\/\/theory.lcs.mit.edu\/rivest\/Rivest-TheThreeBallotVotingSystem.pdf"},{"key":"445_CR6","unstructured":"Rivest, R.L., Smith, W.D.: Three voting protocols: ThreeBallot, VAV, and Twin. In: Proceedings of USENIX\/ACCURATE Electronic Voting Technology (EVT), Press (2007). www.usenix.org\/legacy\/event\/evt07\/tech\/full_papers\/rivest\/rivest_html\/index.html"},{"key":"445_CR7","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"CAR Hoare","year":"1978","unstructured":"Hoare, C.A.R.: Communicating sequential processes. Commun. ACM 21, 666\u2013677 (1978)","journal-title":"Commun. ACM"},{"key":"445_CR8","unstructured":"Gardiner, P., Goldsmith, M., Hulance, J., Jackson, D., Roscoe, B., Scattergood, B., Armstrong, B.: FDR2 user manual"},{"key":"445_CR9","doi-asserted-by":"crossref","unstructured":"Backes, M., Hritcu, C., Maffei, M.: Automated verification of remote electronic voting protocols in the applied pi-calculus. In: CSF, pp. 195\u2013209 (2008)","DOI":"10.1109\/CSF.2008.26"},{"key":"445_CR10","unstructured":"Smyth, B.: Formal verification of cryptographic protocols with automated reasoning. Ph.D. thesis, School of Computer Science, University of Birmingham (2011)"},{"key":"445_CR11","doi-asserted-by":"crossref","unstructured":"Ryan, P.Y.A., Schneider, S.A.: Pr\u00eat \u00e0 Voter with re-encryption mixes. In: ESORICS, pp. 313\u2013326 (2006)","DOI":"10.1007\/11863908_20"},{"key":"445_CR12","doi-asserted-by":"crossref","unstructured":"Moran, M., Heather, J., Schneider, S.: Verifying anonymity in voting systems using CSP. Form. Asp. Comput. 26(1), 63\u201398 (2014)","DOI":"10.1007\/s00165-012-0268-x"},{"key":"445_CR13","doi-asserted-by":"crossref","unstructured":"Cichon, J., Kutylowski, M., Weglorz, B.: Short ballot assumption and threeballot voting protocol. In: SOFSEM, pp. 585\u2013598 (2008)","DOI":"10.1007\/978-3-540-77566-9_51"},{"key":"445_CR14","doi-asserted-by":"crossref","unstructured":"de Marneffe, O., Pereira, O., Quisquater, J.J.: Simulation-based analysis of E2E voting systems. In: Proceedings of the 1st International Conference on E-voting and Identity. VOTE-ID\u201907. Springer, Berlin, Heidelberg, pp. 137\u2013149 (2007)","DOI":"10.1007\/978-3-540-77493-8_12"},{"key":"445_CR15","unstructured":"Strauss, C.: The trouble with triples: A critical review of the triple ballot (3ballot) scheme. Part 1 (2006). https:\/\/www.cs.princeton.edu\/~appel\/voting\/Strauss-TroubleWithTriples.pdf"},{"key":"445_CR16","unstructured":"Strauss, C.: A critical review of the triple ballot voting system, part 2: Cracking the triple ballot encryption (2006). https:\/\/www.cs.princeton.edu\/~appel\/voting\/Strauss-ThreeBallotCritique2v1.5.pdf"},{"key":"445_CR17","unstructured":"Clark, J., Essex, A., Adams, C.: On the security of ballot receipts in E2E voting systems. In: IAVoSS Workshop on Trustworthy Elections (WOTE) (2007)"},{"key":"445_CR18","unstructured":"Appel, A.W.: How to Defeat Rivest\u2019s ThreeBallot Voting System (2007)"},{"key":"445_CR19","unstructured":"Tj\u00f8stheim, T., Peacock, T., Ryan, P.Y.A.: A case study in system-based analysis: the ThreeBallot voting system and Pr\u00eat \u00e0 Voter. In: VoComp (2007)"},{"issue":"4","key":"445_CR20","doi-asserted-by":"crossref","first-page":"699","DOI":"10.1109\/TIFS.2009.2031914","volume":"4","author":"K Henry","year":"2009","unstructured":"Henry, K., Stinson, D.R., Sui, J.: The effectiveness of receipt-based attacks on Threeballot. Trans. Inf. Forensic Secur. 4(4), 699\u2013707 (2009)","journal-title":"Trans. Inf. Forensic Secur."},{"key":"445_CR21","doi-asserted-by":"crossref","unstructured":"K\u00fcsters, R., Truderung, T., Vogt, A.: Verifiability, privacy, and coercion\u2013resistance: new insights from a case study. In: IEEE Symposium on Security and Privacy (SP), pp. 538\u2013553 (2011)","DOI":"10.1109\/SP.2011.21"},{"key":"445_CR22","doi-asserted-by":"crossref","unstructured":"Canetti, R.: Universally composable security: a new paradigm for cryptographic protocols. In: Proceedings of 42nd IEEE Symposium on Foundations of Computer Science, pp. 136\u2013145 (2001)","DOI":"10.1109\/SFCS.2001.959888"},{"key":"445_CR23","volume-title":"The Theory and Practice of Concurrency","author":"AW Roscoe","year":"1997","unstructured":"Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice Hall PTR, Upper Saddle River (1997)"},{"key":"445_CR24","unstructured":"Lazic, R.S.: A semantic study of data independence with applications to model checking. D.Phil. thesis, Oxford University Computing Laboratory (1999)"},{"key":"445_CR25","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-84882-258-0","volume-title":"Understanding Concurrent Systems","author":"AW Roscoe","year":"2010","unstructured":"Roscoe, A.W.: Understanding Concurrent Systems, 1st edn. Springer, New York (2010)","edition":"1"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-014-0445-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-014-0445-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-014-0445-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-014-0445-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,19]],"date-time":"2019-08-19T05:50:11Z","timestamp":1566193811000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-014-0445-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,1,6]]},"references-count":25,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2016,10]]}},"alternative-id":["445"],"URL":"https:\/\/doi.org\/10.1007\/s10270-014-0445-x","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,1,6]]}}}