{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2024,2,13]]，“日期-时间”：“2024-02-13T18:41:41Z”，“时间戳”：1707849701839}，“引用-计数”：61，“发布者”：“爱思唯尔BV”，“问题”：“10”，“许可证”：[{“开始”：{:“日期-零件”：[2011,10,1]]，”日期-时间“：”2011-10-01T00:00:00Z“，”时间戳“：131742720000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\\/www.elsevier.com//tdm\/userlicense\/1.0\/”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[“Journal of Systems and Software”]，“published-print”：{“date-parts”：[[2011,10]]}，”DOI“10.1016\/j.jss.2011.03.032”，“type”：“Journal-article”，“created”：{“date-parts”：[[2011,4,12]，“date-time”：“2011-04-12T05:04:09Z”，“timestamp”：1302584649000}，“page”：“1618-1637”，“source”：”Crossref“，“is-referenced-by-count”：11，“title”：[“电子投票系统的形式分析：经验报告”]，“前缀”：“10.1016”，“卷”：“84”，“作者”：[{“给定”：“Komminist”，“family”：“Weldemariam”，“sequence”：“第一个”，“affiliation”：[]}，{“given”：“Richard A.”，“family”：“Kemmerer”，“sequence”：“additional”，“affaliation”:[]}，{”given“：”Adolfo“，”family“：”Villafiorita“，”sequence“：”additional“，”affiliation:“[]}]，“member”：“78”，“reference”：[{“issue”：“3”，“key”：”10.1016\/j.jss.2011.03.032_bib0005“，”doi-asserted-by“：“crossref“，”首页“：”104“，”doi“：”10.1145\/373243.360213“，“article-title”：“Mobile values new names and secure communication”，“volume”：“36”，“author”：“Abadi”，“year”：“2001”，“journal-title“：”SIGPLAN Notices“}，{“key”：”10.1016\/j.jss.2011.03.032_bib0010“，”series-title“：“The B-book:Assigning Programs to Meanings”，“作者”：“Abrial”，“年份”：“1996”}，“issue”：“3”，“key“：”10.116\/j.jss.2011.03.032_bib0015“，“doi-asserted-by”：“crossref”，“first page”：“30”，“doi”：“10.1109\/MSP.2008.62”，“article-title”：“评估配备有投票验证纸面记录的电子投票系统”，“volume”：”6“，“author”：“Ansari”，“year”：“2008”，“journal-title“：”IEEE Security and Privacy“}，{“key”：：“10.1016\/j.jss.2011.03.032_bib0020”，“series-title”：“EVT:电子投票技术会议记录”，“首页”：“1”，“文章标题”：“ES&S投票机和选举管理系统的安全评估”，“作者”：“Aviv”，“年份”：“2008”}，{“密钥”：“10.1016\/j.jss.2011.03.032_bib0025”，“非结构化”：“Backes，M.，Hritcu，C.，Maffei，M.”，2008。在应用pi演算中自动验证远程电子投票协议。收录于：CSF，IEEE，ISBN 978-0-7695-3182-3，第195\u2013209页。“}，{“问题”：“4”，“关键”：“10.1016\/j.jss.2011.03.032_bib0030”，“doi-asserted-by”：“crossref”，“首页”：“453”，“doi”：“101109\/TSE.2009.53”，《文章标题》：“测试真实世界电子投票系统安全性的经验”，“卷”：“36”，“作者”：“Balzarotti”，“年份”：“2010”，“journal-title“：”IEEE Transaction on Software Engineering“}，{“key”：“10.1016\/j.jss.2011.03.032_bib0035”，“series-title”：“ISSTA:软件测试与分析国际研讨会”，“首页”：“237”，“article-title”：”你的选票真的被计算了吗？测试真实世界电子投票系统的安全性“，”author“：”Balzarotti“，”year“：”2008“}，{“issue”：“11”，“key”：“10.1016\/j.jss.2011.03.032_bib0040”，“doi-asserted-by”：“crossref”，“首页”：“120”，“doi”：“101145\/1297.1297827”，“article-title”：“电子投票的风险”，“volume”：32_bib0045“，”doi-asserted-by“：”crossref“，”首页“：“363”，“DOI”：“10.3233\/JCS-2009-0339”，“article-title”：“安全协议通信的自动验证”，“author”：“Blanchet”，“year”：“2009”，“journal-title“：”journal of Computer security“}，{“key”：“10.1016\/j.jss.2011.03.032_bib0050”，“series-title”：”ARES“，“first page”：”988“article-title：“电子投票：可靠性要求和可靠性设计”，“作者”：“Bryans”，“年份”：“2006”}，{“问题”：“2”，“关键”：“10.1016\/j.jss.2011.03.032_bib0055”，“doi-asserted-by”：“crossref”，“首页”：“213”，“doi”：“101504\/EG.2009.024443”，《article-title》：“评估程序替代方案：电子投票案例研究”，“卷”：“6”，“作家”：“布莱尔”，“year”：“2009”，“journal-title”：“EG”}，{“key”：“10.1016\/j.jss.2011.03.032_bib0060”，“unstructured”：“加州国务卿，2007。撤销对Diebold Election Systems，Inc.、GEMS 1.18.24\/AccuVote-TSWAccuVote-OS DRE和光学扫描投票系统的批准，并有条件重新批准使用Diebolde Election System，Inc.、GE MS 1.18.24 \/Accu Vote-TSX \/AccoVote-OS-DRE和光学扫描投票系统，网址：http://www.sos.ca.gov\/voting-systems\/inservice\/ttbr \/diebold-102507.pdf。“}，{”key“：”10.1016\/j.jss.2011.03.032_bib0065“，”series-title“：”2008年第三届互联网和网络应用与服务国际会议论文集，IEEE计算机学会“，”首页“：”476“，”article-title“：“电子投票系统的移动实现和形式验证”，“author”：“Campanelli”，“year”：“2008”}，”{“key”：“”10.1016\/j.jss.2011.03.032_bib0070“，”series-title“：”SEFM，IEEE Computer Society“，”first page“：”329“，”article-title“：“电子投票篡改证据存储的正式验证”，“author”：“Cansell”，“year”：“2007”}，{“key”：“10.1016\/j.jsse.2011.03.32_bb0075”，“doi-asserted-by”：“crossref”，“first pages”：“39”，“doi”：“10.016\/j.ent.cs.2007.01.060“，”article-title“：“精炼：安全电子投票界面正式软件设计的建设性方法”，“卷”：“183”，“作者”：“Cansell”，“年份”：“2007”，“期刊标题”：“理论计算机科学电子笔记”}，{“key”：“10.1016\/j.jss.2011.03.032_bib0080”，“series-title”：“《第二十二届国际软件工程会议论文集》，“第一页”：“754”，“文章标题”：“Little-JIL\/Juliette:过程定义语言和解释器”，“作者”：“Cass”，“年份”：“2000”}，{“key”：“10.1016\/j.jss.2011.03.032_bib0085”，“series-title”：“计算机辅助验证，计算机科学讲稿”，“doi由“：”crossref“，”first page“：”241“，”doi“：”10.1007\/3-5445657-0_29“，”文章标题“：”NuSMV 2:一个用于符号模型检查的开源工具“，”作者“：”Cimatti“，”年份“：”2002“}，｛”issue“：”1“，”key“：”10.1016\/j.jss.2011.03.032_bib0090“，”doi由“：”crossref“，”first page“：”140“，”doi“：”10.1147\/sj.411.0140“断言，“文章标题”：“FLAVERS：软件系统的有限状态验证技术”，“卷”：“41”，“作者”：“Cobleigh”，“年份”：“2002”，“日志标题”：“IBM systems journal”}，{“key”：“10.1016\/j.jss.2011.03.032_bib0095”，“非结构化”：“信息技术安全评估的通用标准通用标准，2007。http://www.commoncriteriaportal.org//。“}，{”key“：”10.1016\/j.jss.2011.03.032_bib0100“，”unstructured“：”Council of Europe Council on legal，Operation and Technical Standards for e-voting，Council ofEurope，2004.“}”，{“issue”：“4”，“key”：“10.1016\/j.js.2011.03.032_bip0105”，“doi-asserted-by”：“crossref”，“first page”：”12“，”doi“：”101145\/332159.332163“，”“article-title“：”电子投票：计算机投票可以节省资金保护隐私”，“卷”：“2”，“作者”：“Cranor”，“年份”：“1996”，“日记标题”：“Crossroads”}，{“key”：“10.1016\/j.jss.2011.03.032_bib0110”，“doi-asserted-by”：“crossref”，“首页”：“561”，“doi”：“101109\/HICSS.1997.661700”，“article-title”：“Sensus:一个有安全意识的互联网电子投票系统“，”volume“：”3“，”author“：”Cranor“，”year“：”1997“，”journal-title“：”Hawaii International Conference on system Sciences“}，{“issue”：“4”，“key”：“10.1016\/j.js.2011.03.032_bib0115”，“doi-asserted-by”：“crossref”，“first page”：”435“，”doi“：”10.3233\/JCS-2009-0340“，”article-title”：“验证电子投票协议的隐私类型属性”，“卷”：“17”，“作者”：“Delaune”，“年份”：“2009”，“日志标题”：“计算机安全杂志”}，{“密钥”：“10.1016\/j.jss.2011.03.032_bib0120”，“非结构化”：“选举系统与软件，视频：使用ES&S iVotronic投票，2009。http://www.essvote.com/HTML\/video\/ESS_IVO.wmv。}，{“key”：“10.1016\/j.jss.2011.03.032_bib0125”，“非结构化”：“联邦选举委员会，投票系统标准，2005年。网址：http://www.eac.gov\/。“}，{”key“：”10.1016\/j.jss.2011.03.032_bib0130“，”series-title“：”EVT:USENIX\/精准电子投票技术研讨会上的USENIX电子投票技术会议记录“，”article-title“：“关于用软件验证投票机软件的困难”，”author“：”Gardner“，”year“：”2007“}”，{“key”：“”10.1016\/j.jss.2011.03.032_bib0135“，”doi-asserted-by“：”crossref“，”unstructured“：”Gibson，j.P.，Lallet，E.，Raffy，j.-L.，2010。设计分布式电子投票系统架构：满足关键需求。在：ISARCS，第89\u2013108页。“，”DOI“：”10.1007\/978-3642-13556-9_6“}，{“key”：“10.1016\/j.jss.2011.03.032_bib0140”，“series-title”：“Electronic Voting”，“first-page”：“89”，“article-title”：”用于电子投票的更正和中止要求的正式IT安全模型“，”author“：”Grimm“，”year“：”2010 3.032_bib0145“，”doi-asserted-by“：”crossref“，”unstructured“：”Heitmeyer，C.L.，Archer，M.M.，Leonard，E.I.，McLean，J.D.，2008。将形式化方法应用于可认证的安全软件系统。IEEE软件工程学报（1），34，第82\u201398页。“，”DOI“：”10.1109\/TSE.2007.70772“}，{“key”：“10.1016\/j.jss.2011.03.032_bib0150”，“unstructured”：“ES&S Inc，Election Systems&Software:iVotronicTM投票系统，9.1.x版选举日操作检查表，2007年。”}，“key“：”1016\/j.jss.201.1032_bb0155“，”series-title“：”投票技术的评估，第1章。信息安全进展”，“作者”：“Jones”，“年份”：“2003”}，{“key”：“10.1016\/j.jss.2011.03.032_bib0160”，“series-title”：“WPES:2005年ACM电子社会隐私研讨会论文集”，“首页”：“61”，“文章-标题”：“抵制胁迫的电子选举”，“author”：“Juels”，“year”：“2005”}、{“密钥”：“10.1016\/j.jss.2011.03.032_bib0165“，“series-title”：“证明缺乏整体性II的胁迫抗性”，“首页”：“281”，“作者”：“K\u00fcsters”，“年份”：“2010”}，{“issue”：“5”，“key”：“10.1016//j.jss.2011.03.032_bib 0170”，“doi-asserted-by”：“crossref”，“第一页”：”37“，“doi”：“101109\/52.57891”，“article”le-title“：”《将形式方法集成到开发过程》，“卷”：“7”，“作者”：“Kemmer”，“年份”：“1990”，“日志标题”：“IEEE软件”}，{“关键”：“10.1016\/j.jss.2011.03.032_bib0175”，“系列标题”：《IEEE安全与隐私研讨会》，“首页”：“27”，“文章标题”：”电子投票系统分析“，”作者“：”科诺“，”年份“2004”}、{“key“：”10.1016\/j.jss.2011.03.032_bib0180“，”非结构化“：”Kolano，P.，1999。实时系统设计和系统分析的工具和技术。加州大学圣巴巴拉分校博士论文）。“}，{”issue“：”1\u20134“，”key“：”10.1016\/j.jss.2011.03.032_bib0185“，”doi-asserted-by“：”crossref“，”first page“：“177”，”doi“：”101023\/A:1018934104631“，”article-title“：”The Design and Analysis of Real-Time Systems Using The ASTRAL Software Development Environment“，”volume“：《软件工程年鉴》，｛“key”：“10.1016\/j.jss.2011.03.032_bib0190”，“系列标题”：“编程语言与系统\u2014第14届欧洲编程研讨会论文集（ESOP\u201905）”，“首页”：“186”，“文章标题”：“应用圆周率演算中的电子投票协议分析”，“作者”：“Kremer”，“年份”：“2005”｝，｛issue“：”5“，”key“：”10.1016\/j.jss.2011.03.032_bib0195“，”doi-asserted-by“：”crossref“，”first page“：“45”，“doi”：“10.1109\/5254.722359”，“article-title”：“飞行软件分析验证”，“volume”：“13”，“author”：“Lowry”，“year”：“1998”，“journal-title“：”IEEE Intelligent Systems“}，{“key”：”10.106\/j.jss.2011.03.032_b ib0200“，”series-title“：”MFCS：第27届计算机科学数学基础国际研讨会论文集”，“第一页”：“519”，“文章标题”：“使用（几乎）泛型推理系统的加密-CCS的符号语义和分析”，“作者”：“Martinelli”，“年份”：“2002”}，{“key”：“10.1016\/j.jss.2011.03.032_bib0205”，“非结构化”：“McDaniel，P.，Butler，K.，Enck，W.，Hursti，H.，McLaughlin，S.，Traynor，P.、Blaze，M.、Aviv，A.、Cerny，P.和Clark，S.、Vigna，G.、Kemmer，R.、Balzarotti，D.、Banks，G.，Cova，M.，Felmetsger，V.，Robertson，W.、Valeur，F.、Hall，J.L.和Quilter，L.，2007年。EVEREST：《与选举有关的设备、标准和测试的评估和验证》，俄亥俄州国务卿\u2019年的EVERES项目报告。}，{“key”：“10.1016\/j.jss.2011.03.032_bib0210”，“非结构化”：“McGaley，M.，2008。电子投票：关键环境下的不成熟技术。爱尔兰国立大学计算机科学系博士论文，Maynooth，URL http://\/eprints.nuim.ie./1486\/。“}，{”key“：”10.1016\/j.jss.2011.03.032_bib0215“，”非结构化“：”Mercuri，R.T.，2001。电子投票表检查和平衡。宾夕法尼亚大学博士论文。“}，{”key“：”10.1016\/j.jss.2011.03.032_bib0220“，”非结构化“：”Owre，S.，Shankar，N.，Rushby，j.M.，1993。PVS规范语言。“｝，｛”key“：”10.1016\/j.jss.2011.03.032_bib0225“，”系列标题“：”VOTE-ID“，”首页“：”62“，”文章标题“：”POLYAS与BSI保护简介\u2014远程电子投票系统基本要求的合规性“，”作者“：”Reinhard“，”年份“：”2007“｝，｛”key“：”10.1016\/j.jss.2011.03.032_bib0230“，”非结构化“：”萨斯特里，N.K.，2007。验证电子投票机中的安全属性，加州大学伯克利分校EECS系博士论文，URL http://www.EECS.Berkeley.edu\/Pubs\/TechRpts\/2007\/EECS-2007-61.html。“}，{”key“：”10.1016\/j.jss.2011.03.032_bib0235“，”series-title“：”电子投票“，”首页“：”135“，”article-title“：“启用投票服务提供商的评估和认证方法”，“author”：“Schmidt”，“year”：“2010”}，”{“key”：“10.1016\/j.jsse.2011.032_bb0240”，“series-ttle”：“”《2008年数字政府研究国际会议论文集》，“首页”：“63”，“文章标题”：“规定和验证选举过程的要求”，“作者”：“Simidchieva”，“年份”：“2008”}，{“密钥”：“10.1016\/j.jss.2011.03.032_bib0245”，“series-title”：“ICSE\u201902:第24届国际软件工程会议论文集”，“首页”：“11”，“文章标题”：“PROPEL：支持属性说明的方法”，“作者”：“Smith”，“年份”：“2002”}，{“key”：“10.1016\/j.jss.2011.03.032_bib0250”，“series-title”：“ACM计算机与通信安全会议”，“第一页”：”463“article-title“：”关于验证和测试性的投票机设计“，”author“：”Sturton“，”year“：”2009“}，{”key“：”10.1016\/j.jss.2011.03.032_bib0255“，”series-title“：“The VERILOG Hardware Description Language”，“author”：“Thomas”，“year”：“1991”}，”{“key”：“10.1016\/j.js.2011.03.032_bib 0260”，“first page”：UML中电子投票系统的控制逻辑规范：ProVotE-experience”，“author”：“Tiella”，“year”：“2006”，“journal-title”：“Csduml”}，{“key”：“10.1016\/j.jss.2011.03.032_bib0265”，“series-tile”：“PPPJ:第五届Java编程原理与实践国际研讨会论文集”，“首页”：“93”，“article-title“：”FSMC+从状态图生成Java代码的工具“，”author“：”Tiella“，”year“：”2007“}，{”issue“：”4“，”key“：”10.1016\/j.jss.2011.03.032_bib0270“，”doi-asserted-by“：”crossref“，”first page“：“651”，“doi”：“10.1109\/TIFS.2009.2034903”，“article-title”：“VVPAT电子投票系统的开发、正式验证和评估”，“volume”：“4”，“author“：”Villafiorita“，”year“：”2009“，”journal-title“：”IEEE Transactions on Information Forensics and Security“}，{“key”：“10.1016\/j.jss.2011.03.032_bib0275”，“series-title”：“电子投票的评估：支持负责任选举当局的要求和评估程序”，“author”：“Volkamer”，“year”：“2009”}，“key“：”10.1016\/j.jss.2011.03.032_bib0280“，”series-title“：”EDEM 2007\u2014Elektronische Demokratie in \u00d6sterreich“，”article-title“：“远程电子投票的独立审计\u2014开发通用标准保护配置文件”，“author”：“Volkamer”，“year”：“2007”}，{“key”：“10.1016//j.jss.2011.03.032_bib 0285”，“series-ttle”：“”ARES，IEEE Computer Society“，“首页”：“895”，“文章标题”：“电子投票的要求和评估程序”，“作者”：“Volkamer”，“年份”：“2007”}，{“密钥”：“10.1016\/j.jss.2011.03.032_bib0290”，“series-title”：“EVT：电子投票技术会议记录”，“论文标题”：（e）中程序安全的建模和分析投票：Trentino\u2019s方法和经验”，“作者”：“Weldemariam”，“年份”：“2008”}，{“密钥”：“10.1016\/j.jss.2011.03.032_bib0295”，“series-title”：“2009年第一届电子投票系统需求工程国际研讨会论文集”，“首页”：“29”，“article-title”：“电子投票系统的管理要求：问题和方法”，“作者”：“Weldemariam”，“年份”：“2009”}，{“key”：“10.1016\/j.jss.2011.03032_bib0300”，“series-title”：“第17届ACM计算机和通信安全会议记录”，“首页”：“1”，“article-title”：《印度2019s电子投票机的安全分析》，“author“：”Wolchok“，”year“：”2010“}，{”key“：”10.1016\/j.jss.2011.03032_bib0305“，”series-title“：”第20届IEEE\/ACM国际自动化软件工程会议论文集“，”first page“：“342”，”article-title“：“一种由线程驱动的安全软件建模和验证方法”，“author”：“Xu”，“year”：“2005”}]，“container-title”：[“系统与软件杂志“]”，“original-title”：[]，“language”：“en”，“link”：[{“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S0164121211000756？httpAccept=text\/xml”，“content-type”：“text\/xml”，“content-version”：“vor”，“intended-application”：“text-mining”}，{“URL”：“http://api.elsevier.com/content\/aarticle\-PII:S0 164121211000756？httpAccept=text\\/plain”，“内容类型”：“text\\/plain”，“内容版本”：“vor”，“预期应用程序”：“文本挖掘”}]，“已存储”：｛“日期部分”：[[2019,6,9]]，“日期时间”：“2019-06-09T19:26Z”，“时间戳”：1560108376000｝，“分数”：1，“资源”：｛“主要”：｛“URL”：“https://linkinghub.elsevier.com/retrieve\\/pii\\S0164121211000756”｝，“副标题”：[]，“shorttitle“：[]，”issued“：{”date-parts“：[[2011,10]]}，”references-count“：61，”journal-issue“：{“issue”：“10”，“published-print”：{“date-parts”：[[2011-10]]}}，“alternative-id”：[“S0164121211000756”]，“URL”：“http://\/dx.doi.org\/10.1016\/j.jss.2011.03.032”，“relation”：{}，《国际标准期刊》：[”0164-1212“]，”ISSN-type“：[{”value“：”0164-122“，”type“:”print“}]，”subject“：[]，“发布了“：{“date-parts”：[[2011,10]]}}}