{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T13:57:05Z","timestamp":1730210225728,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,10]]},"DOI":"10.1109\/crisis.2009.5411982","type":"proceedings-article","created":{"date-parts":[[2010,2,17]],"date-time":"2010-02-17T13:30:04Z","timestamp":1266413404000},"page":"26-34","source":"Crossref","is-referenced-by-count":2,"title":["Formal analysis of attacks for e-voting system"],"prefix":"10.1109","author":[{"given":"Komminist","family":"Weldemariam","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard A.","family":"Kemmerer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adolfo","family":"Villafiorita","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"186","article-title":"Ryan. Analysis of an electronic voting protocol in the applied pi-calculus","volume":"3444","author":"kremer","year":"2005","journal-title":"Programming Languages and Systems — Proceedings of the 14th European Symposium on Programming (ESOP'05)"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1294325.1294338"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICIW.2008.77"},{"journal-title":"Specification and Analysis of the Electronic Voting Process for the ES&S Voting System Technical report","year":"2009","author":"weldemariam","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/32.629494"},{"journal-title":"The PVS Specification Language","year":"1993","author":"owre","key":"ref15"},{"key":"ref16","article-title":"EVEREST: Evaluation and Validation of Election-Related Equipment, Standards and Testing","author":"mcdaniel","year":"2007","journal-title":"Ohio Secretary of State's EVEREST Project Report"},{"key":"ref17","article-title":"ASTRAL Software Development Environment User”s Manual","author":"kolano","year":"1997","journal-title":"Technical Report"},{"journal-title":"Tools and Techniques for the Design and Systematic Analysis of Realtime Systems","year":"1999","author":"kolano","key":"ref18"},{"key":"ref19","article-title":"Independent audits of remote electronic voting — developing a common criteria protection profile","author":"volkamer","year":"2007","journal-title":"Proceedings der EDEM 2007 — Elektronische Demokratie in Osterreich"},{"key":"ref4","first-page":"11","article-title":"On the Difficulty of Validating Voting Machine Software with Software","author":"gardner","year":"2007","journal-title":"EVT'07 Proceedings of the USENIX\/Accurate Electronic Voting Technology"},{"key":"ref3","first-page":"237","article-title":"Are Your Votes Really Counted? Testing the Security of Real-world Electronic Voting Systems","author":"balzarotti","year":"2008","journal-title":"Proceedings of the International Symposium on Software Testing and Analysis (ISSTA)"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1029133.1029137"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302459"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/5254.722359"},{"key":"ref7","article-title":"NuSMV 2: An Open Source Tool for Symbolic Model Checking","author":"bertoli","year":"2002","journal-title":"Proc Conf Computer-Aided Verification"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ARES.2006.56"},{"key":"ref9","first-page":"55","article-title":"Verifying Privacy-type Properties of Electronic Voting Protocols","author":"delaune","year":"2008","journal-title":"Research Report LSV-08–01 Laboratoire Spécification et Verification ENS Cachan"},{"key":"ref1","first-page":"27","article-title":"Wallach. Analysis of an Electronic Voting System","volume":"0","author":"tadayoshi","year":"2004","journal-title":"Security and Privacy IEEE Symposium on"},{"key":"ref20","first-page":"171","article-title":"Security assets in e-voting","volume":"47 of lni","author":"prosser","year":"2004","journal-title":"Electronic Voting in Europe"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-77493-8_4"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/1052220.1052288"},{"key":"ref24","article-title":"Security Evaluation of ES&S Voting Machines and Election Management System","author":"aviv","year":"2008","journal-title":"Proc Usenix\/Accurate Electronic Voting Technology Workshop"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/CRISIS.2008.4757486"}],"event":{"name":"2009 Fourth International Conference on Risks and Security of Internet and Systems (CRiSIS 2009)","start":{"date-parts":[[2009,10,19]]},"location":"Toulouse, France","end":{"date-parts":[[2009,10,22]]}},"container-title":["2009 Fourth International Conference on Risks and Security of Internet and Systems (CRiSIS 2009)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5405769\/5411964\/05411982.pdf?arnumber=5411982","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,18]],"date-time":"2017-03-18T22:52:03Z","timestamp":1489877523000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5411982\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,10]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/crisis.2009.5411982","relation":{},"subject":[],"published":{"date-parts":[[2009,10]]}}}