{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,4]]，“日期时间”：“2024-09-04T10:54:02Z”，“时间戳”：1725447242600}，“引用计数”：24，“发布者”：“IEEE”，“内容域”：{“域”：[]，“交叉标记限制”：false}，”短容器时间“：[]”，“published-print“：{”日期部分“：[[2008,10]]}，“DOI”：“10.1109\/crission.2008.4757486”，“type”：“procesdings-article”，“created”：{“date-parts”：[[2009,1,20]]，“date-time”：“2009-01-20T16:03:38Z”，“timestamp”：1232467418000}，“page”：”249-254“，“source”：：[{“给定”：“Kommist”，“family”：“Weldemariam”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Adolfo”，“家族”：“Villafiorita”，“serquence”:“additional”，“abfiliation“：[]2]，“member”：“263”，“reference”：[{“doi-asserted-by”：”publisher“，”key“19”，“doi”：“10.1109\/ICSE.2004.1317437”}，}，“doi-sserted-by“publisher”，“key”：“22”，“doi”：“10.1007\/978-3-540-77493-8_4”}，{“年份”：“1999”，“作者”：“schneier”，“日志标题”：“Dobb's journal”，“key”：“17”}，{”年份“：“2005”，“author”：“wimmel”，“journal-title”：“基于模型的安全关键系统开发”，“密钥”：“23”}蒂尔”：“攻击图的自动生成和分析”，“author”：“sheyner”，“year”：“2002”，“journal-title”：“SP'02 2002 IEEE安全与隐私研讨会论文集”}，{“doi-asserted-by”：“publisher”，“key”：“24”，“doi”：“10.1145\/105222010522288”}，“article-title”：“排名攻击图”，“卷”：“4219”，“作者”：“mehta”，“年份”：“2006”，“日志标题”：“计算机科学讲义”}，{“doi-asserted-by”：“publisher”，“key”：“16”，“doi”：“10.1007\/3-540-58555-9_88”}：“电子选举背景下的流程分析”，“key”：“14”}，{“key“：“11”，“doi-asserted-by”：“crossref”，“first-pages”：“94”，“doi”：“10.1007 \/3-540-45732-1_11”，“article-title”：“基于模型的风险管理流程的coras框架”，“author”：“fredriksen”，“year”：“2002”，“journal-tittle”：“SAFECOMP’02第21届计算机安全可靠性和安全国际会议论文集”}，{“key”：“12”，“doi-asserted-by”：“crossref”，“first page”：”186“，“doi”：“10.1007\/978-3-540-31987-0_14”，“article-title”：“应用π演算中的电子投票协议分析”，“volume”：《3444》，“author”：“kremer”，“year”：“2005”，“journal-title”：“计算机科学讲义”}，{“doi-asserted-by”：“publisher”，“key”：“21”，“doi”：“10.1007\/11429760_4”}电子投票管理”，“volume”：“3”，“author”：“xenakis”，“year”：“2005”，“journal-title”：“journal of Electronic Government”}，{“年份”：“0”，“密钥”：“1”}“年份”：“2006年”，“新闻标题”：《计算机科学讲义》}，{“doi断言者”：“出版者”，“key”：“7”，“doi”：“10.1109\/ICPPW.2002-1039705”}，{“年份”：“2006”，“作者”：“ciaghi”，“期刊标题”：“从法律到模型工具和方法论”，“key”：“6”}，{“doi断言者”：“出版者”，“key”：“5”，“doi”：“10.1145\/10354209.1035434”}，{“年份”：“2002”，“作者”：“bertoli“，”期刊标题“：“Proc-Conf Computer-Aided Verification”，“article-title”：“nusmv 2:一个用于符号模型检查的开源工具”，“key”：“4”}，{“key“：“9”，“first page“：”159“，“artice-title“：”将基于模型的安全风险管理集成到电子商务系统开发中：coras方法“，”author“：”dimitrakos“，”year“：”2002“，”journal-title：“I3E’02 IFIP迈向知识社会会议记录”}，{“年份”：“0”，“密钥”：“8”}]，“事件”：{“名称”：“2008年第三届互联网和系统风险与安全国际会议（CRiSIS）”，“开始”：{-“日期”：[[2008,10,28]]}，“位置”：“突尼斯托泽尔”，“结束”：{-date-parts“：[[2008，10,30]]}}，”container-title“：[“2008年第三届互联网和系统风险与安全国际会议”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/xplorestaging.ieee.org\/ielx5\/4733895\/4757450\/04757486.pdf？arnumber=4757486”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“存放”：{“日期部分”：[2019,5,17]]，“date-time”：“2019-05-17T07:21:24Z”，“timestamp”：1558077684000}，“score”：1，“resource”：{“primary”：{“URL”：“http://\/ieeexplore.iee.org\/document\/4757486\/”}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[[2008,10]]}，‘references-count’：24，”URL“http://\/dx.doi”。org\/10.109\/危机.2008.4757486“，”关系“：{}，”主题“：[]，”发布“：{“日期部分”：[[2008,10]]}}