{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“讯息”：{“索引”：{“日期-部件”：[[2024,4,3]]，“日期-时间”：“2024-04-03T06:29:54Z”，“时间戳”：1712125794055}，“参考-计数”：46，“出版商”：“电气与电子工程师学会（IEEE）”，“发行”：“4”，“许可证”：[{“开始”：{-日期-部件“：[2009,12]]，“时间我”：“2009-12-01T00:00:00Z”，“timestamp”：1259625600000}，“content-version”：“vor”，“delay-in-days”：0，“URL”：“https:\/\/ieeexplore.iee.org\/Xplorehelp\/downloads\/license-information\/ieee.html”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”shortcontainer-title“：[”ieee Trans.Inform.Forensic Secure.“]，”published-pre int“：{”日期部分“：[2009,12]]}，“DOI”：“10.1109\/tifs.2009.2034903”，“type”：“journal-article”，“created”：{“date-parts”：[[2009,10,22]]，“date-time”：“2009-10-22T19:24:06Z”，“timestamp”：1256239446000}，”page“：”651-661“，”source“：“Crossref”，“is-referenced-by-count”：35，“title”：[“VVPAT电子投票系统的开发、形式验证和评估”]，“前缀”：“10.1109”，“卷”：“4”，“作者”：[{“给定”：“A.”，“家族”：“Villafiorita”，“序列”：“第一”，“从属关系”：[]}“：”ref39“，”doi-asserted-by“：”publisher“，”doi“：“10.1145\/195058.195407”}，{“key”：“ref38”，“首页”：“244”，“文章标题”：“大规模选举的实用秘密投票方案”，“author”：“fujioka”，“year”：“1993”，“journal-title”：“密码学技术理论与应用程序研讨会（ASIACRYPT'92）”}：“10.1007\/978-1-4615-0239-5_1”}，{“key”：“ref32”，“首页”：“11”，“文章标题”：“关于用软件验证投票机软件的困难”，“author”：“gardner”，“year”：“2007”，“journal-title”：“Proc Usenix Accurate Electronic voting Technology on Usenix准确电子投票技术研讨会（EVT 07）”}，“article-title”：“远程电子投票的独立审计开发通用标准保护配置文件”，“author”：“volkamer”，“year”：“2007”，“journal-title“：Proc EDEM 2007Elektronische Demokratie in sterreich”}，{“key”：“ref30”，“doi-asserted-by”：“publisher”，”doi“：”10.1007\/978-3540-30078-6_39，“DOI”：“10.1109\/MSP.2008.56”}，{“key”：“ref36”，“DOI-asserted-by”：“publisher”，“DOI:”10.1109\/MSP.2008.62“}，}“key:”ref35“，”first page“：”237“，”article-title“：”您的选票真的算了吗？测试真实世界电子投票系统的安全性”，“author”：“balzarotti”，“year”：“2008”，“journal-title”：“Proc-Int-Symp软件测试与分析（ISSTA）”}，{“key”：“ref34”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/SECPRI.2004.1301313”}40英寸，“doi-asserted-by”：“crossref”，“first page”：“188”，”doi“：”10.1109\/WECWIS.2001.933922“，”article-title“：”用于互联网投票的匿名电子投票协议“，”author“：”ray“，”year“：”2001“，”journal title“：“第三届国际研讨会电子商务和基于网络的信息系统高级问题（WECWIS'01）”}，{“key”：”ref11“，“article-title”：“将空白选票从纸张转换为触摸屏”，“author”：“buzzi”，“year”：“2006”，“journal-title“：“Proc Towards e-Democracity Participation Resiberation Communities”}，{“key”：“ref12”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/1294325.1294338”}：“10.1007\/978-3-540-77493-8_4”}，{“key”：“ref14”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/CRISIS.2008.4757486”}：“Proc USENIX \/关于USENIX\/精确电子投票技术研讨会（EVT'08）”}，{“key”：“ref16”，“author”：“bartel”，“year”：“2008”，“journal-title”：“XML签名语法和处理（第二版）w3c建议书”}，“author”：“royce”，“year”：“1970”，“journal-title”：“Proc IEEE WESCON”}，{“key”：“ref18”，“doi-asserted-by”：“crossref”，“first-pages”：“359”，“doi”：“10.1007\/3-540-45657-0_29”，”article-title“：”nusmv 2:一个用于符号模型检查的开源工具“，”author“：”cimatti“，”year“2002”，”journal-title“:”Proc 14th Int Conf Computer-Aided Verification（CAV'02）“}，{“key”：“ref19”，“first-page”：“171”，“article-title”：“电子投票中的安全资产”，“author”：“prosser”，“year”：“2004”，“journal-title“：“Electronic voting in Europe”}，{“key”：“ref28”，“doi-asserted-by”：“crossref”，”first-page:“120”，“doi”：“10.1145\/1297.1297827”，“article-title”：“e-voting的风险”，“volume”:“50”，“作者”：“bishop”，“年份”：“2007”，“journal-title”：“Commun ACM”}，{“key”：“ref4”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/ARES.2007.124”}“oostveen”，“年份”：“2004”，“journal-title”：“欧洲电子投票”}，{“key”：“ref6”，“year”：“0”，“johnal-title:“2002投票系统标准”}：“威胁建模作为安全要求的基础”，“author”：“myagmar”，“year”：“2005”，“journal-title”：“StorageSS'05 2005 ACM存储安全和生存能力研讨会会议记录”}，{“key”：“ref8”，“年份”：“2004”，“日记标题”：“电子投票的法律操作和技术标准”}：“2005年自愿投票系统指南”}，{“key”：“ref2”，“doi-asserted-by”：“crossref”，“first-page”：“467”，“doi”：“10.1109\/DEXA.2003.1232067”，“article-title”：“电子投票系统：行政工作流程的安全影响”，“author”：“lambrinoudakis”，“year”：“2003”，“journal-tittle”：“Proc 14th Int l Workshop Database and Expert Systems Applications（Dexa 03）”}，{“key”：“ref9”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/1022594.1022623”}}，{“key”：“ref20”，“doi-asserted-by”：“publisher”，“DOI”：“10.1145\/1052220.1052288”}，{“key”：“ref45”，“author”：“delaune”，“year”：“2008”，“journal-title”：“Verifying Privacy-type Properties of Electronic Voting Protocols”}（验证电子投票协议的私有类型属性），{”key“：”ref22“，”author“：”rivest“，”year“：”2006“，”journal-title“：”“On the Notion of Software Independence in Voting Systems“}，”{“密钥”：“ref21”，“卷”：“5”，“年份”“”，“journal-title”：“电子投票中的程序安全和社会接受”}，{“key”：“ref42”，“first page”：”1“，“article-title“：“scantegrity ii:使用隐形墨水确认码的光学扫描选举系统的端到端可验证性”，“author”：“chaum”，“year”：“2008”，“jornal-tittle”：，“author”：“gamma”，“year”：“1995”，“journal-title”：“Design Patterns”}，{“key”：“ref41”，“first-page”：“1”，“article-title“：“使用paillier加密的prt投票器的分析、改进和简化”，“author”：“xia”，“年份”：“2008”，“journal-ttitle”：《Proc-Conf Electronic Voting Technology（EVT'08）》}：“OMG统一建模语言规范”}，{“key”：“ref44”，“首页”：“5”，“article-title”：“扩展预渲染的界面投票软件以支持可访问性和其他投票功能”，“author”：“yee”，“year”：“2007”，“journal-title“：“第二届USENIX\/ACCURATE电子投票技术研讨会（EVT'07）会议记录”}，“author”：“sastry”，“year”：“2007”，“journal-title”：“Verifying Security Properties in Electronic Voting Machines”}，{“key”：“ref43”，“article-title“：”designing Voting Machines for Verifying“，”author“：”sastry“，”year“：”2006“，”journal-title““：”Proc 15th Conf USENIX Security Symp（USENIX-SS'06）“}，”{“密钥”：“ref25”，“doi-asered-by”：“crossref”，“first page”：“186”，“DOI”：“10.1007\/978-3-540-31987-0_14”，“article-title”：“应用像素中电子投票协议的分析”，“volume”：“3444”，“author”：“kremer”，“year”：“2005”，“journal-title“：“Programming Languages and SystemsProc 14th Eur Symp Programmination（ESOP’05）”}]，“container-title]，“original-title”：[]，“link”：[{“URL”：“http://\/xplorestaging.ieee.org\/ielx5\/10206\/5312765\/05290133.pdf？arnumber=5290133”，“content-type”：“unspecified”，“内容-版本”：“vor”，“intended-application”：“similarity-checking”}]，“存放”：{“date-parts”：[2021,10,11]]，“日期-时间”：“2021-10-11T01:00:31Z”，“时间戳”：1633914031000}，“分数”：1，“资源”用法：{“primary”:{“URL”：“http://\/ieeexplore.iee.org\/document\/5290133\/”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{日期部分：[[2009,12]]}，”引用计数“：46，”日志问题“：{”问题“：“4”}，‘URL’：“http://\\dx.doi.org\/10.109\/tifs.2009.2034903”，“relation”：{}，“ISSN”：[“1556-6013”]，“ISSN-type”：[{“value”：“1556-6013”，“type”:“print”}]，“subject”：【】，“已发布”：｛“日期部分”：[[2009,12]}｝｝