{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T11:51:26Z","timestamp":1742385086549},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540774921"},{"type":"electronic","value":"9783540774938"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-77493-8_4","type":"book-chapter","created":{"date-parts":[[2007,12,17]],"date-time":"2007-12-17T08:02:36Z","timestamp":1197878556000},"page":"38-49","source":"Crossref","is-referenced-by-count":10,"title":["Assessing Procedural Risks and Threats in e-Voting: Challenges and an Approach"],"prefix":"10.1007","author":[{"given":"Komminist","family":"Weldemariam","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adolfo","family":"Villafiorita","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Mattioli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","first-page":"988","volume-title":"E-voting: Dependability Requirements and Design for Dependability","author":"J.W. Bryans","year":"2006","unstructured":"Bryans, J.W., Littlewood, B., Ryan, P.Y.A., Strigini, L.: E-voting: Dependability Requirements and Design for Dependability, pp. 988\u2013995. IEEE Computer Society Press, Washington, DC, USA (2006)"},{"issue":"10","key":"4_CR2","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1145\/1022594.1022623","volume":"47","author":"T. Rebecca","year":"2004","unstructured":"Rebecca, T., Mercuri, R.T., Camp, L.J.: The Code of Elections. Commun. ACM\u00a047(10), 52\u201357 (2004)","journal-title":"Commun. ACM"},{"key":"4_CR3","series-title":"Lecture Notes in Computer Science","first-page":"541","volume-title":"Entertainment Computing \u2013 ICEC 2004","author":"A. Xenakis","year":"2004","unstructured":"Xenakis, A., Macintosh, A.: Procedural security analysis of electronic voting. In: Rauterberg, M. (ed.) ICEC 2004. LNCS, vol.\u00a03166, pp. 541\u2013546. Springer, Heidelberg (2004)"},{"key":"4_CR4","first-page":"118","volume-title":"HICSS 2005: Proceedings of the Proceedings of the 38th Annual Hawaii International Conference on System Sciences (HICSS 2005) - Track 5","author":"A. Xenakis","year":"2005","unstructured":"Xenakis, A., Macintosh, A.: Procedural Security and Social Acceptance in E-Voting. In: HICSS 2005: Proceedings of the Proceedings of the 38th Annual Hawaii International Conference on System Sciences (HICSS 2005) - Track 5, p. 118.1 IEEE Computer Society, Washington, DC, USA (2005)"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Vetterling, M., Wimmel, G., Wisspeintner, A.: A Graphical Approach to Risk Identification, Motivated by Empirical Investigations. LNCS, pp. 574\u2013588 (November 23, 2006)","DOI":"10.1007\/11880240_40"},{"key":"4_CR6","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/1179494.1179497","volume-title":"QoP 2006. Proceedings of the 2nd ACM workshop on Quality of protection","author":"P. Manadhata","year":"2006","unstructured":"Manadhata, P., Wing, J., Flynn, M., McQueen, M.: Measuring the attack surfaces of two FTP daemons. In: QoP 2006. Proceedings of the 2nd ACM workshop on Quality of protection, pp. 3\u201310. ACM Press, New York (2006)"},{"key":"4_CR7","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1145\/1035429.1035434","volume-title":"FMSE 2003. Proceedings of the 2003 ACM workshop on Formal methods in security engineering","author":"S. Braynov","year":"2003","unstructured":"Braynov, S., Jadiwala, M.: Representation and Analysis of Coordinated Attacks. In: FMSE 2003. Proceedings of the 2003 ACM workshop on Formal methods in security engineering, pp. 43\u201351. ACM Press, New York (2003)"},{"key":"4_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/11875567_2","volume-title":"Computer Safety, Reliability, and Security","author":"I.N. Fovino","year":"2006","unstructured":"Fovino, I.N., Masera, M.: Through the Description of Attacks: A Multidimensional View. In: G\u00f3rski, J. (ed.) SAFECOMP 2006. LNCS, vol.\u00a04166, pp. 15\u201328. Springer, Heidelberg (2006)"},{"key":"4_CR9","unstructured":"Krimmer, R., Volkamer, M.: Observing Threats to Voter\u2019s Anonymity: Election Observation of Electronic Voting. Working Paper Series on Electronic Voting and Participation Nr. 01\/2006 (September 2006), Can be downloaded from \n                    \n                      http:\/\/static.twoday.net\/evoting\/files\/Working-Paper-1-2006.pdf"},{"key":"4_CR10","unstructured":"Prosser, A., Kofler, R., Krimmer, R., Unger, M.K.: Security Assets in E-Voting. In: Prosser, A., Krimmer, R. (eds.) [24], pp. 171\u2013180"},{"key":"4_CR11","volume-title":"Model Checking","author":"E.M. Clarke","year":"2000","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (2000)"},{"key":"4_CR12","unstructured":"Villafiorita, A., Fasanelli, G.: Transitioning to e-Voting: the ProVotE Project and the Trentino\u2019s Experience. In: Wimmer, M.A., et al. (eds.) EGOV 2006. LNCS, vol.\u00a04084, Springer, Heidelberg (2006)"},{"key":"4_CR13","unstructured":"McGaley, M., McCarthy, J.: Transparency and e-Voting: Democratic vs. commercial interests. In: The International Workshop on Electronic Voting in Europe (2004)"},{"key":"4_CR14","unstructured":"Russell, N., van der Aalst, W.M.P., ter Hofstede, A.H.M., Wohed, P.: On the suitability of UML 2.0 activity diagrams for business process modelling. In: APCCM 2006: Proceedings of the 3rd Asia-Pacific conference on Conceptual modelling, Darlinghurst, Australia, pp. 95\u2013104. Australian Computer Society, Inc. (2006)"},{"key":"4_CR15","unstructured":"Castela, N., Tribolet, J.M., Silva, A., Guerra, A.: Business Process Modeling with UML. In: ICEIS (2), pp. 679\u2013685 (2001), \n                    \n                      http:\/\/citeseer.ist.psu.edu\/article\/castela01business.html"},{"key":"4_CR16","unstructured":"Mattioli, A.: Analisi dei Processi in Ambito di Voto Elettronico per le Elezioni in Provincia di Trento. Master\u2019s thesis, University of Trento (2005-2006)"},{"key":"4_CR17","unstructured":"Manica, A.: Dai processi ai sistemi informativi strumenti per la condivisione di modelli. Master\u2019s thesis, University of Trento (2002\u20132003)"},{"key":"4_CR18","unstructured":"Visual Paradigm for UML (2007), \n                    \n                      http:\/\/www.visual-paradigm.com\/product\/vpuml\/"},{"key":"4_CR19","unstructured":"Common Criteria (2007), \n                    \n                      http:\/\/www.commoncriteriaportal.org\/"},{"issue":"1","key":"4_CR20","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/s10009-006-0001-2","volume":"9","author":"M. Bozzano","year":"2007","unstructured":"Bozzano, M., Villafiorita, A.: The FSAP\/NuSMV-SA Safety Analysis Platform. Int. J. Softw. Tools Technol. Transf.\u00a09(1), 5\u201324 (2007)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"4_CR21","series-title":"Lecture Notes in Computer Science","first-page":"467","volume-title":"Database and Expert Systems Applications","author":"C. Lambrinoudakis","year":"2003","unstructured":"Lambrinoudakis, C., Kokolakis, S., Karyda, M., Tsoumas, V., Gritzalis, D., Katsikas, S.: Electronic Voting Systems: Security Implications of the Administrative Workflow. In: Ma\u0159\u00edk, V., \u0160t\u011bp\u00e1nkov\u00e1, O., Retschitzegger, W. (eds.) DEXA 2003. LNCS, vol.\u00a02736, p. 467. Springer, Heidelberg (2003)"},{"key":"4_CR22","unstructured":"Xenakis, A., Macintosh, A.: Using Business Process Re-engineering (BPR) for the Effective Administration of Electronic Voting. The Electronic Journal of e-Government\u00a03(2) (2005)"},{"key":"4_CR23","unstructured":"Howard, M., Pincus, J., Wing, J.: Measuring Relative Attack Surfaces (2003), \n                    \n                      http:\/\/citeseer.ist.psu.edu\/howard03measuring.html"},{"key":"4_CR24","unstructured":"Prosser, A., Krimmer, R.: Electronic Voting in Europe - Technology, Law, Politics and Society, Workshop of the ESF TED Programme together with GI and OCG. Schlod\u0301f Hofen \/ Bregenz, Lake of Constance, Austria, Proceedings, July 7-9, 2004. LNI.GI, vol.\u00a047 (2004)"}],"container-title":["Lecture Notes in Computer Science","E-Voting and Identity"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-77493-8_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T11:09:03Z","timestamp":1558264143000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-77493-8_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540774921","9783540774938"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-77493-8_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}