{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,7]]，“日期时间”：“2024-09-07T21:33:36Z”，“时间戳”：1725744816821}，“引用计数”：36，“发布者”：“IEEE”，“内容域”:{“域”：[]，“交叉标记限制”：false}，”短容器时间“：[]”，“published-print”：{“日期部分”：[[2010,2]}，“DOI”：“10.1109\/ares.2010.83”，“type”：“procesdings-article”，“created”：{“date-parts”：[[2010,3,29]]，“date-time”：“2010-03-29T19:52:36Z”，“timestamp”：1269892356000}，“page”：”164-171“，“source”：：“Crossref”，“is-referenced-by-count”：11，“title”：[“电子投票系统的正式规范和分析”]，“prefix”：“10.109”，“volume”：第3444页，“author”：[{“给定”：“Komminist”，“family”：“Weldemariam”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Richard A.”，“家族”：“Kemmer”，“序列”：“additional”，“从属关系”：[]}，}“giving”：“Adolfo”，“家庭”：“Villafiorita”，“顺序”：“附加”，“隶属关系”：[]}]，“成员”：“263”，“reference”：[{“key”：”“ref33”，“首页”：“186”，“物品标签”：“应用像素中的电子投票协议分析”，“卷”：“3444”，“作者”：“kremer”，“年份”：“2005”，“日志标题”：“ESOP’05”}，{“密钥”：“ref32”，“首页”：“55”，“文章标题”：”验证电子投票协议的隐私类型属性“，“作者“：”delaune“，”年份“：”2008“日志标题“：”研究报告LSV-08-01“}，{“doi-asserted-by”：“publisher”，“key”：“ref31”，“doi”：“10.1007\/978-3-540-73210-5_3”}，{“doi-assertd-by”：“发布者”，“密钥”：“ref30”，“doi”：”10.1145\/302405.302459“}，}“doi-asserted-by”：：“ref35”，“doi”：“10.1109\/TIFS.2009.2034903”}，{“doi-asserted-by”：“publisher”，“key”：“ref34”，“DOI”：“10.1145\/1294325.1294338”}，{“year”：“2007”，“journal-title”：“version 9 1 x Election Day Operations Checklist”，“article-title“：”iVotronic™Voting System“，”key“：”ref10“}，}“year:”2008“，”author“：”mcgaley“，”article-title“”：“电子投票：关键环境中的不成熟技术”，“key”：“ref11”}、{“DOI-asserted-by”：“publisher”，“键”：“ref12”，“DOI”：“10.1145\/1022594.1022623”}，{“年份”：“2009”，“作者”：“weldemariam”，“日记标题”：“技术代表”，“文章标题”：”ES&S投票系统电子投票过程的规范与分析“，”key“：”ref13“}，”{“年”：“1997”，“author”：“kolano”，“journal-title”：“科技代表”，”文章标题“：“ASTRAL软件开发环境用户手册”，“key”：“ref14”}，{“year”：“1999”，“author”：“kolano”，“article title”：“实时系统设计和系统分析的工具和技术”，“key”：“ref15”}，{“doi断言者”：“publisher”，“key”：“ref16”，“doi”：“10.1007\/978-3-540-30078-6_39”}，{“doi断言者”：“publisher”，“key”：“ref17”，“DOI”：“10.1007\/978-3-540-30078-6_20”}，{“年份”：“2007”，“作者”：“volkamer”，“新闻标题”：“EDEM 2007年会议记录-奥斯特里奇的Elektronische Demokratie”，“文章标题”：”远程电子投票独立审计-制定通用标准保护配置文件“，”key“：”ref18“}，”{“key”：“ref19”，“首页”：“171”，”article-title“：“电子投票中的安全资产”，“author”：“prosser”，“year”：“2004”，“journal-title”：“Europe Electronic voting”}，{“年份”：“2002”，“作者”：“bertoli”，“日记标题”：“Proc-Conf Computer-Aided Verification”，“article-title“：“NuSMV 2:An Open Source Tool for Symbolic Model Checking”，“key”：“ref28”}：“10.1145\/129797.1297827”}，{“doi-asserted-by”：“publisher”，“key”：“ref27”，“doi”：“10.1109\/QEST.2004.1348052”}：“软件测试与分析国际研讨会（ISSTA）论文集”}，{“年份”：“2007”，“文章标题”：“撤销对diebold election systems，inc.，gems 1.18.24\/accuvote-tswacuvote-os dre&optical scan voting system的批准，并有条件地重新批准使用diebolds election systems，inc.gems 1.18.2 4\/accurvote-tsx\/accupote-os dre&opticical scan vocation system”，“key”：“ref6”}，{“doi-asserted-by”：“publisher”，”key“：”ref29“doi”：“10.1109\/5254.722359”}，{“key”：“ref5”，“首页”：“11”，“article-title”：“关于用软件验证投票机软件的困难”，“author”：“gardner”，“year”：“2007”，“journal-title“：“EVT'07 USENIX\/Accurate Electronic Voting Technology会议录”}：“2007”，“作者”：“mcdaniel”，“期刊标题”：“俄亥俄州国务卿的EVEREST项目报告”，“文章标题”：“EVEREST:选举相关设备、标准和测试的评估和验证”，“密钥”：“ref7”}，{“doi断言”：“出版商”，“密钥”：“ref2”，“doi”：“10.1109\/ARES.2006.56”}，{“年份”：“1993”，“作者”：“owre”，“期刊标题”：“计算机科学实验室SRI International”，“article-title”：“PVS规范语言”，“key”：“ref9”}，{“doi-asserted-by”：“publisher”，“key”：”ref1“，“doi”：“10.1109\/SECPRI.2004.1301313”}：“EVT”，“文章标题”：“（e）投票中程序安全的建模与分析：特伦蒂诺的方法与经验”，“key”：“ref22”}，{“doi-asserted-by”：“publisher”，“key”：”ref21“，“doi”：“10.1007\/978-3-540-77493-8_4”}、{“year”：“2008”，“author”：“aviv”，“journal-title”：“Proc Usenix\/Accurate Electronic Voting Technology Workshop”，“article-title“：“ES&S投票机和选举管理系统的安全评估”，“key”：“ref24”}，{“doi-asserted-by”：“publisher”，“key”：”ref23“，“doi”：“10.1109\/MSP.2008.62”}：“测试ASTRAL实时规范的符号模型检查器”，“卷”：“0”，“作者”：“dang”，“年份”：“1999”，“日志标题”：“实时计算系统和应用国际研讨会”}]，“事件”：{“名称”：“2010年可用性、可靠性和安全性国际会议（ARES）”，“开始”：{“日期部分”：[2010,2,15]}，“位置”：“波兰克拉科夫”，“end”：{“date-parts”：[[2010,2,18]]}，“container-title”：[“2010年可用性、可靠性和安全国际会议”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/xplorestaging.ieee.org\/ielx5\/5437532\/543988\/05438100.pdf？arnumber=5438100”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-d”应用程序“：“相似性检查”}]，“存放”：{“日期部分”：[[2017,3,19]]，“日期时间”：“2017-03-19T04:54:12Z”，“时间戳”：1489899252000}，“分数”：1，“资源”：{primary“：{”URL“：”http://ieeexplore.iee.org\/document\/5438100\/“}”，“副标题”：[]，“短标题”：[]，“发布”：{“日期部分“：[[2010,2]]}，“references-count”：36，“URL”：“http://\/dx.doi.org\/10.109\/ares.2010.83”，“关系”：{}，“主题”：[]，“发布”：{“日期部分”：[[2010,2]}}