{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T16:26:19Z","timestamp":1725639979824},"publisher-location":"Dordrecht","reference-count":30,"publisher":"Springer Netherlands","isbn-type":[{"type":"print","value":"9789400729100"},{"type":"electronic","value":"9789400729117"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-94-007-2911-7_5","type":"book-chapter","created":{"date-parts":[[2011,12,6]],"date-time":"2011-12-06T05:47:44Z","timestamp":1323150464000},"page":"51-67","source":"Crossref","is-referenced-by-count":0,"title":["Realizing Security Requirements with Physical Properties: A Case Study on Paper Voting"],"prefix":"10.1007","author":[{"given":"Andr\u00e9","family":"van Cleeff","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Trajce","family":"Dimkov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolter","family":"Pieters","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roel","family":"Wieringa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,12,7]]},"reference":[{"issue":"10","key":"5_CR1","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1145\/1022594.1022595","volume":"47","author":"J Grove","year":"2004","unstructured":"Grove J (2004) ACM statement on voting systems. Comm ACM 47(10):69\u201370","journal-title":"Comm ACM"},{"issue":"3","key":"5_CR2","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1109\/MSP.2008.75","volume":"6","author":"A Yasinsac","year":"2008","unstructured":"Yasinsac A, Bishop M (2008) The dynamics of counting and recounting votes. IEEE Secur Privacy 6(3):22\u201329","journal-title":"IEEE Secur Privacy"},{"key":"5_CR3","unstructured":"Kim KY, Kim DJ, Lee BG (2011) Pre-test analysis for first experiences of korean e-voting services, in future information technology, ser. communications in computer and information science. Park JJ, Yang LT, Lee C (eds) vol 185. Springer, Berlin, pp 272\u2013279"},{"key":"5_CR4","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/978-3-540-75227-1_9","volume-title":"Where can an insider attack? in formal aspects in security and trust, ser. LNCS","author":"C Probst","year":"2007","unstructured":"Probst C, Hansen R, Nielson F (2007) Where can an insider attack? in formal aspects in security and trust, ser. LNCS, vol 4691. Springer, Berlin, pp 127\u2013142"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Dimkov T, Pieters W, Hartel P (2010) Portunes: representing attack scenarios spanning through the physical, digital and social domain, in ARSPA-WITS, 2010","DOI":"10.1007\/978-3-642-16074-5_9"},{"issue":"7","key":"5_CR6","doi-asserted-by":"publisher","first-page":"1114","DOI":"10.1016\/j.jss.2011.01.064","volume":"84","author":"K Weldemariam","year":"2011","unstructured":"Weldemariam K, Villafiorita A (2011) Procedural security analysis: a methodological approach. J Syst Softw 84(7):1114\u20131129","journal-title":"J Syst Softw"},{"issue":"2","key":"5_CR7","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1504\/EG.2009.024443","volume":"6","author":"V Bryl","year":"2009","unstructured":"Bryl V, Dalpiaz F, Ferrario R, Mattioli A (2009) Evaluating procedural alternatives: a case study in e-voting. Electron Government, Int J 6(2):213\u2013231","journal-title":"Electron Government, Int J"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Pardue H, Landry J, Yasinsac A (2009) A risk assessment model for voting systems using threat trees and monte carlo simulation. In: Proceedings of the 2009 1st international workshop on requirements engineering for e-voting systems, IEEE Computer Society, pp 55\u201360","DOI":"10.1109\/RE-VOTE.2009.1"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Harris J (1934) Election administration in the United States. The Brookings Institution, Washington","DOI":"10.2307\/1331782"},{"key":"5_CR10","unstructured":"OSCE Office for Democratic Institutions and Human Rights (ODIHR), Guidelines for reviewing a legal framework for elections. ODIHR, 2001"},{"key":"5_CR11","unstructured":"Handbook for domestic election observers. ODIHR, 2003, ISBN 83-912750-8-6"},{"key":"5_CR12","unstructured":"Election observation handbook, 5th edn. ODIHR, 2005, ISBN 83-60190-00-3"},{"issue":"1","key":"5_CR13","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1109\/TSE.2007.70754","volume":"34","author":"C Haley","year":"2008","unstructured":"Haley C, Laney R, Moffett J, Nuseibeh B (2008) Security requirements engineering: a framework for representation and analysis. IEEE Trans Softw Eng 34(1):133\u2013153","journal-title":"IEEE Trans Softw Eng"},{"key":"5_CR14","unstructured":"OSCE\/ODIHR Expert group report 11\u201330 May 2009, Elections to the European Parliament 4\u20137 June 2009. ODIHR, September 2009"},{"key":"5_CR15","unstructured":"Ministery van Binnenlandse Zaken en Koninkrijksrelaties (2009) Werkmap voor stembureauleden - versie \u2018stemmen in een willekeurig stemlokaal\u2019. (in Dutch)"},{"key":"5_CR16","volume-title":"Requirements engineering: from system goals to UML models to software specifications","author":"A Lamsweerde van","year":"2009","unstructured":"van Lamsweerde A (2009) Requirements engineering: from system goals to UML models to software specifications. Wiley, New York"},{"key":"5_CR17","unstructured":"Jonker H (2009) Security matters: privacy in voting and fairness in digital exchange. Ph.D. dissertation, University of Luxembourg\/Technische Universiteit Eindhoven, Luxembourg"},{"issue":"3","key":"5_CR18","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/s00766-008-0067-3","volume":"13","author":"C Kalloniatis","year":"2008","unstructured":"Kalloniatis C, Kavakli E, Gritzalis S (2008) Addressing privacy requirements in system design: the PriS method. Requirements Eng 13(3):241\u2013255","journal-title":"Requirements Eng"},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"Langer L, Schmidt A, Buchmann J, Volkamer M (2010) A taxonomy refining the security requirements for electronic voting: analyzing helios as a proof of concept. In: 2010 international conference on availability, reliability and security. IEEE, pp 475\u2013480","DOI":"10.1109\/ARES.2010.106"},{"key":"5_CR20","first-page":"16","volume-title":"Remote voting schemes: a comparative analysis, in e-voting and identity ser. LNCS","author":"J Puiggali","year":"2007","unstructured":"Puiggali J, Morales-Rocha V (2007) Remote voting schemes: a comparative analysis, in e-voting and identity ser. LNCS, vol 4896. Springer, Berlin, pp 16\u201328"},{"key":"5_CR21","unstructured":"van Cleeff A, Dimkov T, Pieters W, Wieringa RJ (2011) The security of paper voting. Universiteit Twente, Technical Report, October 2011, in preparation"},{"key":"5_CR22","unstructured":"California Institute of Technology and The Massachusetts Institute of Technology Corporation (2001) VOTING: What is; what could be"},{"key":"5_CR23","unstructured":"van Eerden J, de Jong R (eds) (2008) Fraude en ongewenste be\u00efnvloeding bij verkiezingen. Kiesraad, (in Dutch"},{"key":"5_CR24","volume-title":"The Machinery of democracy: voting system security, accessibility, usability and cost","author":"L Norden","year":"2006","unstructured":"Norden L (2006) The Machinery of democracy: voting system security, accessibility, usability and cost. Brennan Center for Justice at NYU School of Law, New York"},{"key":"5_CR25","unstructured":"Jones D (2005) Threats to voting systems. In: NIST workshop on threats to voting systems, http:\/\/vote.nist.gov\/threats\/papers\/threats_to_voting_systems.pdf . Retrieved 20 Aug 2011"},{"key":"5_CR26","unstructured":"Chaum D, Carback R, Clark J, Essex A, Popoveniuc A, Rivest R, Ryan P, Shen E, Sherman A (2008) Scantegrity ii: End-to-end verifiability for optical scan election systems using invisible ink confirmation codes. In: Proceedings of the USENIX\/Accurate electronic voting technology workshop, 2008"},{"key":"5_CR27","unstructured":"Krimmer R, Volkamer M (2005) Bits or paper? comparing remote electronic voting to postal voting. In: EGOV (Workshops and Posters), 2005, pp 225\u2013232"},{"key":"5_CR28","unstructured":"Jones D (2005) Chain voting http:\/\/vote.nist.gov\/threats\/papers\/ChainVoting.pdf . Retrieved 20 Aug 2011"},{"key":"#cr-split#-5_CR29.1","unstructured":"19. Spycher O, Haenni R, Dubuis E (2010) Coercion-resistant hybrid voting systems. In: Krimmer R, Grimm R"},{"key":"#cr-split#-5_CR29.2","unstructured":"20. (eds) 4th international workshop on electronic voting, Bregenz, Austria, 2010"}],"container-title":["Lecture Notes in Electrical Engineering","Proceedings of the International Conference on IT Convergence and Security 2011"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-94-007-2911-7_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,20]],"date-time":"2019-06-20T07:26:16Z","timestamp":1561015576000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-94-007-2911-7_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,12,7]]},"ISBN":["9789400729100","9789400729117"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-94-007-2911-7_5","relation":{},"ISSN":["1876-1100","1876-1119"],"issn-type":[{"type":"print","value":"1876-1100"},{"type":"electronic","value":"1876-1119"}],"subject":[],"published":{"date-parts":[[2011,12,7]]}}}