{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,5]]，“日期时间”：“2024-09-05T05:23:50Z”，“时间戳”：1725513830130}，“引用计数”：24，“发布者”：“IEEE”，“内容域”:{“域”：[]，“交叉标记限制”：false}，”短容器时间“：[]”，“published-print”：{“日期部分”：[[2009,10]]}，“DOI”：“10.1109\/crission.2009.5411982”，“type”：“procesdings-article”，“created”：{“date-parts”：[[2010,2,17]]，“date-time”：“2010-02-17T18:30:04Z”，“timestamp”：1266431404000}，“page”：”26-34“，“source”：作者“：[{”给定“：“Komminist”，“family”：“Weldemariam”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Richard A.”，“家族”：“Kemmer”，“序列”：“additional”，“从属关系”：[]}，}“giving”：“Adolfo”，“家庭”：“Villafiorita”，“顺序”：“附加”，“隶属关系”：[]}]，“成员”：“263”，“reference”：[{“key”：”ref10“，“首页”：“186”，“物品标签”：“Ryan.应用计算中电子投票协议的分析”，“卷”：“3444”，“作者”：“kremer”，“年份”：“2005年”，“期刊标题”：“编程语言和系统-第14届欧洲编程研讨会（ESOP’05）会议记录”}，{“key”：“ref11”，“doi-asserted-by”：“publisher”，“doi”：“10.1145 \/1294325.1294338”}，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/ICIW.2008.77”}，{“journal-title”：“ES&S投票系统技术报告电子投票过程的规范与分析”，“year”：“2009”，“author”：“weldemariam”，“key”：“ref13”}：“The PVS Specification Language”，“year”：“1993”，“author”：“owre”，“key”：“ref15”}，{“journal-title”：“Ohio Secretary of State’s EVEREST Project Report”，“article-title“：”EVEREST:“Evaluation and Validation of Election Related Equipment，Standards and Testing”，“年”：“2007”，“作者”：“mcdaniel”，“密钥”：“ref16”}、{“日记标题”：“技术报告”，“article-title”：“ASTRAL软件开发环境用户手册”，“年份”：“1997”，“author”：“kolano”，“key”：“ref17”}，{“journal-title“：“实时系统设计和系统分析的工具和技术”，“年”：“1999”，“作者”：“kolano”：“EDEM 2007年会议记录-Elektronische Demokratie in Osterreich”，“article-title”：“远程电子投票的独立审计-制定通用标准保护简介”，“年份”：“2007年”，“作者”：“volkamer”，“密钥”：“ref19”}，{“密钥”:“ref4”，“首页”：“11”，“文章-标题”：“关于用软件验证投票机软件的困难”，“author”：“gardner”，“year”：“2007”，“journal-title”：“EVT'07《USENIX精确电子投票技术会议录》”}，{“key”：“ref3”，“first page”：《237》，“article-title》：“你的选票真的被计算了吗？测试现实世界电子投票系统的安全性”，“作者”：“balzarotti”，“year”：“2008”，“journal-title”：“软件测试与分析国际研讨会（ISSTA）论文集”}，{“key”：“ref6”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/1029133.1029137”}，“内政部”：“10.1109\/5254.722359”}，{“journal-title”：“Proc-Conf Computer-Aided Verification”，“article-title“：“NuSMV 2:用于符号模型检查的开源工具”，“year”：“2002”，“author”：“bertoli”，“key”：“ref7”}“物品标签”：“验证电子投票协议的隐私类型属性”，“author”：“delaune”，“year”：“2008”，“journal-title”：“研究报告LSV-08–01 Laboratoire Spécification et Verification ENS Cachan”}，{“key”：“ref1”，“first page”：《27》，“article-title》：“Wallach.分析电子投票系统”，“volume”：，“journal-title”：“安全与隐私IEEE研讨会”}，{“key”：“ref20”，“首页”：“171”，“文章标题”：“电子投票中的安全资产”，“卷”：“lni的47”，“作者”：“prosser”，“年份”：“2004”，“jornal-tittle”：《欧洲电子投票》}参考21“，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/1052220.1052288”}，{“journal-title”：“Proc Usenix\/精准电子投票技术研讨会”，“article-title“：”ES&S投票机和选举管理系统的安全评估“，”year“：”2008“，”author“：”aviv“，”key“：”ref24“}，”{“key”：“ref23”，”doi-assert-by“：”publisher“，”doi“：“10.1109\/CRISIS.2008.4757486”}]，“event”：{“name”：“2009年第四届互联网和系统风险与安全国际会议（CRISIS 2009）”，“start”：{“date-parts”：[[2009,10,19]]}，“location”：“Toulouse，France”，“end”：}“date-parts”：[2009,10,22]}}，”container-title“：[“2009年第四届互联网和系统风险与安全国际会议（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”}]，“存放”：{“date-parts”：[[2017,3,19]]，“date-time”：“2017-03-19T02:52:03Z”，“timestamp”：1489891923000}，“score”：1，“resource”：{（主）：{”URL“：”http://\/ieeexplore.iee.org\/document\/5411982\/“}}，”subtitle“：[]，”shorttitle“：[]，”issued“：URL“：”http://\/dx.doi.org\/10.1109\/crission.2009.5411982“，”关系“：{}，“主题”：[]，“发布”：{“日期部分”：[[2009,10]]}}