{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2023,1,20]]，“日期时间”：“2023-01-T22:14:20Z”，“时间戳”：1674252860585}，“引用计数”：27，“发布者”：“IEEE”，“内容域”:{“域”：[]，“交叉标记限制”：false}，”short-container-title“：[]日期部分“：[[2010,7]]}，“DOI”：“10.1109\/csf.2010.12”，“type”：“procesdings-article”，“created”：{“date-parts”：[[2010,8,24]]，“date-time”：“2010-08-24T18:59:08Z”，“timestamp”：1282676348000}，“source”：”Crossref“，”is-referenced-by-count“：11，”title“：[”建模和验证特殊路由协议“]，”前缀“：”10.1109“，“author”：[{”given“Mathilde”，“family”：“阿尔诺”、“序列”：“first”，“affiliation”：[]}，{“given”：“V\u00e9ronique”，“family”：“Cortier”，“sequence”：“additional”，“abfiliation“：[]{”given“：”St\u00e 9phanie“，”family“：”Delaune“，”sequence“：”additional“，”affiliance“：[]，“member”：“263”，“reference”：[{“key”：”ref10“，”author“：”clark“，”“year”：“1997”，“journal-title”：“认证协议文献综述”}，{“密钥”：“ref11”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/1656242.1656244”}，{“key”：“ref12”，“article-title”：“有界安全协议的不确定性”，“author”：“durgin”，“year”：“1999”，“journal-title“：“形式方法和安全协议研讨会进程”}，{“键”：“ref14”，“doi-asserted-by”：“publisher”，“doi”：“10.1109 \/JSAC.2005.861394”}，{“key”：“ref15”，“first page”：”139“，“article-title”：“DSR:多跳无线自组网的动态源路由协议”，“author”：“johnson”，“year”：“2001”，“journal-title“：”ad hoc Networking“}”，{”key“：”ref16“，“first-page”：“139”，”article-title“：“DSR：多跳无线自组织网络的动态源路由协议”，“author”：“johnson”，“year”：“2001”，“journal-title”：“ad hoc Networking”}，{“key”：“ref17”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/WCN.2005.1424678”}由“：“publisher”，“DOI”：“10.1016\/j.tcs.2006.08.036”}，{“key”：“ref4”，“DOI-asserted-by”：“publicher”，“DOI”：”10.1016\/S0304-3975（02）00090-7“}”，{”key“：”ref27“，”DOI-assert-by“：”publisher“，”DOI“：”10.1145 \/570682“}，“key“:”ref3“，”author“：”acs“，”year“：”2009“，”journ al-title“：”多跳无线网络中的安全路由“}，{“key”：“ref6”，“first-page”：“36”，“author”：“arnaud”，“year”：“2010”，“journal title”：“建模和验证ad hoc路由协议”}，｛“key”：“ref5”，“first page”：“281”，“article title”：“用于互联网安全协议和应用程序自动验证的AVISPA工具”，“author”：“armando”，“year”：“2005”，“journal title”：“第17届计算机辅助验证国际会议CAV’2005”}，{“key”：“ref8”，“article-title”：“基于分辨率定理证明的自动安全协议验证器（特邀教程）”，“author”：“blanchet”，“year”：“2005”，“journal-title“：“Proc 20th International Conf Automated Deduction（CADE 05）”}：“publisher”，“DOI”：“10.1109\/CSFW.2001.930138”}，{“key”：“ref2”，“DOI-asserted-by”：“crossref”，”first page“：”36“，”DOI“：”10.1145\/266420.266432“，”article-title“：“密码协议演算：spi演算”，“author”：“abadi”，“year”：“1997”，“journal-title”：“Proc 4th Conference on Computer and Communications Security（CCS'97）”}“，{”key“：“ref9”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/102910210291029119”}，{“key”：“ref1”，“doi-asserted-by”：”publisher“，”doi“：”10.1145\/360204.360213“}，“key“：”ref20“，”article-title“：”移动自组网的安全路由“，”author“：”papapdimitratos“，”“year”：“2002”，“journal-title”：“Proc SCS通信网络和分布式系统建模仿真会议（CNDS）”}，{“key”：“ref22”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/MCSA.1999.749281”}：“验证密码协议的归纳方法”，“卷”：“6”，“作者”：“paulson”，“年份”：“1998”，“期刊标题”：“计算机安全杂志”}，{“密钥”：“ref24”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/CSF.2009.6”}由“：“publisher”，“DOI”：“10.1145\/986858.986861”}，{“key”：“ref25”，“article-title”：“Strand spaces:Proving security protocols correct”，“volume”：”7“，“author”：“thayer”，“year”：“1999”，“journal-title“：”journal of Computer security“}]，“event”：{“name”：“2010 IEEE第23届计算机安全基础研讨会（CSF）”，“location”：“Edinburgh，United Kingdom”，“start”用法：{“date-parts”：[[2010,7,17]]}，“end”：{”date-part“：[[2010/7,19]]}}，”container-title“：[”2010年第23届IEEE计算机安全基础研讨会“]，”original-title”：[]，“link”：[{“URL”：“http://\explorestaging.IEEE.org\/ielx5\/5555263\/5552636\/05552654.pdf？arnumber=5552654“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：“相似性检查”}]，“存放”：{“日期部分”：[[2019,6,2]]，“日期时间”：“2019-06-02T07:41:06Z”，“时间戳”：1559461266000}，“分数”：1，“资源”：{-“主要”：}“URL”：“http://\/ieeexplore.ieee.org\/document\/5552654\/”}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[2010,7]]}，“references-count”：27，“URL”：“http://\/dx.doi.org\/10.109\/csf.2010.12”，“关系”：{}，“主题”：[]，“发布”：{“日期部分”：[[2010,7]]}}