{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T21:18:30Z","timestamp":1725571110603},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642177729"},{"type":"electronic","value":"9783642177736"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-17773-6_13","type":"book-chapter","created":{"date-parts":[[2010,12,10]],"date-time":"2010-12-10T01:47:32Z","timestamp":1291945652000},"page":"114-130","source":"Crossref","is-referenced-by-count":0,"title":["A Model for System-Based Analysis of Voting Systems"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Tj\u00f8stheim","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thea","family":"Peacock","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter Y. A.","family":"Ryan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"Karlof, C., Sastry, N., Wagner, D.: Cryptographic voting protocols: A systems perspective. In: USENIX Security Symposium (2005)"},{"key":"13_CR2","unstructured":"Ryan, P.Y.A., Peacock, T.: Pr\u00eat \u00e0 voter: a systems perspective. Technical Report CS-TR-929, University of Newcastle upon Tyne (2005)"},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"Randell, B., Ryan, P.Y.A.: Voting technologies and trust. IEEE Security & Privacy (2006)","DOI":"10.1109\/MSP.2006.140"},{"key":"13_CR4","volume-title":"Steal This Vote","author":"A. Gumbel","year":"2005","unstructured":"Gumbel, A.: Steal This Vote. Thunder\u2019s Mouth Press, U.S.A (2005)"},{"key":"13_CR5","unstructured":"Rubin, A.: Brave New Ballot: The Battle to Safeguard Democracy in the Age of Electronic Voting. Morgan Road (2006)"},{"key":"13_CR6","volume-title":"Symposium on Security and Privacy","author":"T. Kohno","year":"2004","unstructured":"Kohno, T., Stubblefield, A., Rubin, A.D., Wallach, D.S.: Analysis of an electronic voting system. In: Symposium on Security and Privacy, IEEE, Los Alamitos (2004)"},{"key":"13_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1007\/11555827_8","volume-title":"Computer Security \u2013 ESORICS 2005","author":"D. Chaum","year":"2005","unstructured":"Chaum, D., Ryan, P.Y.A., Schneider, S.: A practical, voter-verifiable election scheme. In: di Vimercati, S.d.C., Syverson, P.F., Gollmann, D. (eds.) ESORICS 2005. LNCS, vol.\u00a03679, pp. 118\u2013139. Springer, Heidelberg (2005)"},{"key":"13_CR8","unstructured":"Punchscan: (2006), http:\/\/www.punchscan.org"},{"key":"13_CR9","unstructured":"VoteHere: (2006), http:\/\/www.votehere.net\/default.php"},{"key":"13_CR10","unstructured":"Rivest, R.L.: The ThreeBallot voting system. Unpublished draft (2006), http:\/\/theory.lcs.mit.edu\/~rivest\/Rivest-TheThreeBallotVotingSystem.pdf"},{"issue":"1","key":"13_CR11","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1109\/MSECP.2004.1264852","volume":"2","author":"D. Chaum","year":"2004","unstructured":"Chaum, D.: Secret-ballot receipts: True voter-verifiable elections. IEEE Security and Privacy\u00a02(1), 38\u201347 (2004)","journal-title":"IEEE Security and Privacy"},{"key":"13_CR12","unstructured":"Neff, A.: Practical high certainty intent verification for encrypted votes (2004), http:\/\/www.votehere.net\/documentation\/vhti"},{"key":"13_CR13","first-page":"116","volume-title":"Conference on Computer and Communications Security","author":"A. Neff","year":"2001","unstructured":"Neff, A.: A verifiable secret shuffle and its application to e-voting. In: Conference on Computer and Communications Security, pp. 116\u2013125. ACM, New York (2001)"},{"key":"13_CR14","unstructured":"Peacock, T.: Guess My Vote: a Study of Opacity and Information Flow in Voting Systems. PhD thesis, School of Computing Science, Newcastle University (2006)"},{"key":"13_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1007\/978-3-540-31987-0_14","volume-title":"Programming Languages and Systems","author":"S. Kremer","year":"2005","unstructured":"Kremer, S., Ryan, M.: Analysis of an electronic voting protocol in the applied pi-calculus. In: Sagiv, M. (ed.) ESOP 2005. LNCS, vol.\u00a03444, pp. 186\u2013200. Springer, Heidelberg (2005)"},{"key":"13_CR16","unstructured":"NIST: Workshop on developing an analysis of threats to voting systems (2005), http:\/\/vote.nist.gov\/threats\/"},{"key":"13_CR17","unstructured":"Brennan Centre for Justice: The machinery of democracy: Protecting elections in an electronic world (2006), http:\/\/www.brennancenter.org"},{"key":"13_CR18","first-page":"244","volume-title":"Workshop on the Theory and Application of Cryptographic Techniques: Advances in Cryptology","author":"A. Fujioka","year":"1992","unstructured":"Fujioka, A., Okamoto, T., Ohta, K.: A practical secret voting scheme for large scale elections. In: Workshop on the Theory and Application of Cryptographic Techniques: Advances in Cryptology, pp. 244\u2013251. ACM, New York (1992)"},{"key":"13_CR19","doi-asserted-by":"crossref","unstructured":"Mercuri, R.: A better ballot box? IEEE Spectrum Online (2002)","DOI":"10.1109\/MSPEC.2002.1038569"},{"key":"13_CR20","unstructured":"Ryan, P.Y.A.: Verified encrypted paper audit trails. Technical Report CS-TR-966, University of Newcastle upon Tyne (2006)"},{"key":"13_CR21","unstructured":"Adida, B.: Advances in Cryptographic Voting Systems. PhD thesis, Massachusetts Institute of Technology (2006)"},{"key":"13_CR22","unstructured":"Danezis, G.: Better Anonymous Communications. PhD thesis, University of Cambridge (2004)"},{"key":"13_CR23","doi-asserted-by":"crossref","unstructured":"Gogolewski, M., Klonowski, M., Kubiak, P., Kutylowski, M., Lauks, A., Zagorski, F.: Kleptographic attacks on e-voting schemes. In: Workshop on Electronic Voting and E-Government in the UK (2006)","DOI":"10.1007\/11766155_35"},{"key":"13_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"494","DOI":"10.1007\/11766155_35","volume-title":"Emerging Trends in Information and Communication Security","author":"M. Gogolewski","year":"2006","unstructured":"Gogolewski, M., Klonowski, M., Kubiak, P., Kutylowski, M., Lauks, A., Zagorski, F.: Kleptographic attacks on e-election schemes with receipts. In: M\u00fcller, G. (ed.) ETRICS 2006. LNCS, vol.\u00a03995, pp. 494\u2013508. Springer, Heidelberg (2006)"},{"key":"13_CR25","unstructured":"Jakobsson, M., Juels, A., Rivest, R.: Making mix nets robust for electronic voting by randomized partial checking. In: USENIX Security Symposium, pp. 339\u2013353 (2002)"},{"key":"13_CR26","volume-title":"Availability, Reliability and Security (ARES)","author":"J. Bryans","year":"2006","unstructured":"Bryans, J., Littlewood, B., Ryan, P.Y.A., Strigini, L.: E-voting: Design for dependability. In: Availability, Reliability and Security (ARES), IEEE, Los Alamitos (2006)"}],"container-title":["Lecture Notes in Computer Science","Security Protocols"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-17773-6_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,6]],"date-time":"2019-06-06T19:29:27Z","timestamp":1559849367000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-17773-6_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642177729","9783642177736"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-17773-6_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}