{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2024,7,10]]，“日期-时间”：“2024-07-10T15:25:26Z”，“时间戳”：1720625126189}，“引用-计数”：35，“发布者”：“爱思唯尔BV”，“许可证”：[{“开始”：{-date-parts”：[[2010,9,1]]，”日期-时间“：”2010-09-01T00:00:00Z“，”timestamp“：1283299200000}，”content-version“：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com/tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2013,7,29]]，“date-time”：“2013-07-29T00:00:00Z”，“timestamp”：1375056000000}，“content-version”：“vor”，“delay-in-days”：1062，“URL“http://creativecommons.org\/licenses\/by-ncc nd\/3.0\/“}]，”内容域“：{”域“：[]，”交叉标记限制“：false｝，“短容器标题”：[“理论计算机科学电子笔记”]，“已出版印刷品”：｛“日期部分”：[[2010,9]]｝，“DOI”：“10.1016\/j.entcs.2010.008.005”，“类型”：“期刊文章”，“创建”：｛“日期部分”：[[2010,9,4]]，“日期时间”：“2010-09-04T07:15:21Z”，“时间戳”：1283584521000｝，“页面”：“49-71”，“来源”：“Crossref”，“按计数引用”：13，“special_numbering”：“C”，“title”：[“接口受限对手的合成系统安全性”]，“prefix”：“10.1016”，“volume”：“265”，“author”：[{“given”：”Deepak“，“family”：“Garg”，“sequence”：“first”，“affiliation”：[]}“，”序列“：“additional”，“affiliation”：[]｝，｛“given”：“Anupam”，“family”：“Datta”，“sequence”：“additional”，“affiliation”：[]｝]，“member”：“78”，“reference”：[｛“key”：“10.1016\/j.entcs.2010.08.005_br0010”，“doi asserted by”：“crossref”，“first page”：“117”，“doi”：“10.1007\/BF017882772”，“article title”：“Recognition safety and liveness”，“volume”：“2”，“author”：“Alpern”，“年份”：“1987”，“journal-title”：“分布式计算”}，{“key”：“10.1016\/j.entcs.2010.08.005_br0020”，“doi-asserted-by”：“crossref”，“unstructured”：“Asokan，N.，V.Niemi和K.Nyberg，隧道式身份验证协议中的Man-in-the-midle，in：安全协议研讨会，2003，第28\u201341页。”：“10.1016\/j.entcs.2010.08.005_br0030”，“doi-asserted-by”：“crossref”，“unstructured”：“Barth，A.，C.Jackson和j.C.Mitchell，《跨站点请求伪造的稳健防御》，载于：《第十五届ACM计算机与通信安全会议论文集》（CCS 2008），2008年，第75\u201388页。”，“doi”：“10.1145\/1455770.1455782”}，{“key”：“10.1016\/j.entcs.2010.08.0005_br0040”，“非结构化”：“Barth，A.，C.Jackson和j.C.Mitchell，浏览器中的安全帧通信，载于：第17届美国国家情报局安全研讨会论文集，2008年，第17\u201330页。”｝，｛“key”：“10.1016\/j.entcs.2010.08.0005_br0050”，“非结构化”：“Bellovin，S.，《安全挑战》，摘自：2004年第一届ITI可信性和安全研讨会，专题小组：可信系统中的重大挑战和开放问题。”}，{“key”：“10.1016\/j.entcs.2010.005_br0060”，“doi-asserted-by”：“crossref”，“unstructured”：“Bhargavan，K.，C.Fournet和A.D。Gordon，《通过键入对安全协议代码进行模块化验证》，载于：2010年第37届ACM SIGACT-SIGPLAN编程语言原理研讨会论文集。“，”DOI“：”10.1145\/1706299.1706350“}，{“key”：“10.1016\/j.entcs.2010.08.005_br0070”，“DOI-asserted-by”：“crossref”，“first-page”：“339”，“DOI”：“101093\/gigpal/8.3.339”，“article-title”：“表示、推理和关系结构：混合逻辑宣言”，“volume”：IGPL“}，{”的key“：”10.1016\/j.entcs.2010.08.005_br0080“，”doi-asserted-by“：”crossref“，”unstructured“：”Cai，X.，Y.Gui和R.Johnson，《通过算法复杂性攻击利用Unix文件系统争用》，收录于：SP'09:2009年第30届IEEE安全与隐私研讨会论文集，2009年，第27\u201341页。“，”doi“：”101109\/SP.2009.10“}，{“key”：“”10.1016\/j.entcs.2010.08.005_br0090“，”doi-asserted-by“：”crossref“，”unstructured“：”Canetti，R.，《通用可组合安全：密码协议的新范式》，收录于：FOCS，2001，第136\u2013145页。“，”doi“：”10.1109\/SFCS.2001.959888“}，{“key”：“10.1016\/j.entcs.2010.005_br0100”，“doi-assert-by”：“crossrref”，“unstructure”：“Chen，S.，Z。Mao，Y.-M.Wang和M.Zhang，《非常糟糕的proxy:浏览器HTTPS部署中被忽视的对手》，载于：第30届IEEE安全与隐私研讨会论文集，2009年，第347\u2013359页。“，”DOI“：”10.1109\/SP.2009.12“}，{“key”：“10.1016\/j.entcs.2010.005_br0110”，“DOI-asserted-by”：“crossref”，“first page”：”1“，“DOI”：“10.1007\/s10703-008-0059-4“，“article-title”：“安全构建安全协议”，“volume”：“34”，“author”：“Cortier”，“year”：“2009”，“journal-title“：“系统设计中的形式方法”}，{“key”：”10.1016\/j.entcs.2010.005_br0120“，”doi-asserted-by“：”crossref“，”first page“：”423“，”doi“：”10.3233\/JCS-2005-13304“，”article-title“安全协议的派生系统和组合逻辑”，“卷”：“13”，“作者”：“Datta”，“年份”：“2005”，“日志标题”：“计算机安全杂志”}，{“密钥”：“10.1016\/j.entcs.2010.005_br0130”，“doi-asserted-by”：“crossref”，“首页”：“311”，“doi”：“101016\/j.entcs.2007.02.012”，“article-title”：“协议组合逻辑（PCL）”，“volume“：”172“，”author“：”Datta“，”year“：”2007“，”journal-title“：”理论计算机科学中的电子笔记“}，{“key”：“10.1016\/j.entcs.2010.08.005_br0140”，“doi-asserted-by”：“crossref”，“unstructured”：“Datta，A.，j.Franklin，D.Garg和D。Kaynar，《安全系统的逻辑及其在可信计算中的应用》，载于：第30届IEEE安全与隐私研讨会论文集（奥克兰），2009年，第221\u2013236页。“，”DOI“：”10.1109\/SP.2009.16“}，{“key”：“10.1016\/j.entcs.2010.005_br0150”，“DOI-asserted-by”：“crossref”，“unstructured”：“Feng，X.，R.Ferreira and Z。邵，《关于并发分离逻辑与假设保证推理之间的关系》，载《程序设计语言与系统》，第16届欧洲程序设计研讨会论文集，2007年，第173\u2013188页。“，DOI：”10.1007\/978-3-540-71316-6_13“}，{“key”：“10.1016\/j.entcs.2010.005_br0160”，“DOI-asserted-by”：“crossref”，“非结构化“：”Garg，D.、J.Franklin，A.Datta和D.Kaynar，《存在界面受限对手的组合系统安全》（2010年），完整版。在线：http://www.cs.cmu.edu\/~dg。“，”DOI“：”10.1016\/j.entcs.2010.08.005“}，{“key”：“10.1016//j.entc.2010.08.005_br0170”，“DOI-asserted-by”：“crossref”，“unstructured”：“Guttman，j.D.和F.j.Thayer，《通过不相交加密实现协议独立性》，收录于：CSFW，2000年，第24\u201334.页”，“DOI”：“101109\/CSFW.2000.856923”}，“key“：”1016\/j.entcs.2010.08.005 _b r0180“，”DOI-asserted-by“：”crossref”，“非结构化”：“He，C.，M.Sundararajan，A.Datta，A.Derek和J.C.Mitchell，IEEE 802.11i和TLS的模块正确性证明，载于：CCS’05：第十二届ACM计算机和通信安全会议论文集，2005年，第2\u201315页。”，“DOI”：“10.1145\/1102120.102124”}，{“key”：“1016\/J.entcs.2010.005_br0190”，“doi-asserted-by“：”crossref“，”unstructured“：”Jackson，C.和A.Barth，Forcehttps:protecting high security web sites from network attacks，in：Proceedings of the 17th International Conference on World Wide web（WWW），2008，pp.525\u2013534.“，”doi“：”10.1145\/1367497.1367569“}，{“key”：“10.1016\/j.entcs.2010.005_br0200”，“doi-assert-by”：“”crossref“，”unstructured“：”Jackson，C.，A.Barth，A.Bortz，W.Shao和D.Boneh，《保护浏览器免受DNS重新绑定攻击》，2007年，第421\u2013431页干扰程序开发方法的初步步骤”，“卷”：“5”，“作者”：“琼斯”，“年份”：“1983年”，“日志标题”：“ACM编程语言和系统事务（TOPLAS）”}，{“键”：“10.1016\/j.entcs.2010.005_br0220”，“doi-asserted-by”：“crossref”，“非结构化”：“Kuhlman，D.，R.Moriarty，T.Braskich，S.Emeott和M。Tripunitara，网格安全体系结构的正确性证明，载于：第21届IEEE计算机安全基础研讨会（CSF）论文集，2008年，第315\u2013330页。“，”DOI“：”10.1109\/CSF.2008.23“}，{“key”：“10.1016\/j.entcs.2010.08.005_br0230”，“DOI-asserted-by”：“crossref”，“unstructured”：“Mantel，H.，《关于安全系统的组成》，载于：SP’02:2002 IEEE安全与隐私研讨会论文集（2002），第88页，第2013101页多级安全的连接定理”，“volume”：“16”，“author”：“McCullough”，“year”：“1990”，“journal-title”：“IEEE Transactions on Software Engineering”}，{“key”：”10.1016\/j.entcs.2010.005_br0250“，”doi-asserted-by“：”crossref“，”unstructured“：”McLean，J.，《安全模型和信息流》，摘自：IEEE安全与隐私研讨会，1990年，第180\u2013189页。“，”DOI“：”10.1109\/RISP.1990.63849“}，{“key”：“10.1016\/J.entcs.2010.08.005_br0260”，“DOI-asserted-by”：“crossref”，“unstructured”：“Meadows，C.和D。Pavlovic，《导出、攻击和防御gdoi协议》，载于：第九届欧洲计算机安全研究研讨会（ESORICS）会议记录，2004年，第53\u201372页。“，”DOI“：”10.1007\/978-3-540-30108-0_4“}，{“key”：“10.1016\/j.entcs.2010.005_br0270”，“DOI-asserted-by”：“crossref”，“first-page”：“417”，“DOI”：“101109\/TSE.1981.230844”，“”article-title“：”过程网络证明“，”volume“：”7“，”author“：”Misra“，”year“：”1981“，”journal-title”：“IEEE软件工程学报”}，{“key”：“10.1016\/j.entcs.2010.05_br0280”，“doi-asserted-by”：“crossref”，“unstructured”：“Mitchell，J.C.，《计算机安全中的编程语言方法》，收录于：第28届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，2001年，第1\u20133页。Stern，《ssl 3.0的有限状态分析》，载于：SSYM'98：USENIX安全研讨会第七届会议记录，1998年，第16\u201316页18“，”author“：”Nanevski“，”year“：”2008“，”journal-title“：”journal of Functional Programming“}，{”key“：”10.1016\/j.entcs.2010.005_br0310“，”doi-asserted-by“：”crossref“，”unstructured“：”Pfitzmann，B.和M。Waidner，异步反应系统模型及其在安全消息传输中的应用，收录于：IEEE安全与隐私研讨会，2001年，第184\u2013页Reed，J.，《混合逻辑框架》，卡内基梅隆大学博士论文（2009年）。“}，{”key“：”10.1016\/j.entcs.2010.08.005_br0330“，”series-title“：”系统安全性和正确性的形式逻辑方法“，”article-title“：“协议组成逻辑中的保密性分析”，”author“：”Roy“，”year“：”2008“}”，{“key”：“10.1016//j.entc.2010.08.005_br 0340”，“doi-asserted-by”：“crossref”，”unstructured“：”Tsafrir，D.，T.Hertz，D.Wagner和D。Da Silva，通过硬度放大便携式解决文件到文件竞争，载于：FAST’08：第六届USENIX文件和存储技术会议论文集，2008年，第1\u201318页article-title“：”行动号召：展望未来“，”卷“：”1“，”作者“：”Wing“，”年份“：”2003“，”日志标题“：”IEEE安全与隐私“}]，”容器标题“：[”理论计算机科学中的电子笔记“]，”原始标题“：[]，”语言“：”en“，”链接“：[{”URL“：”https:\/\/api.elsevier.com/content\/article\/PII:S1571066110000848？httpAccept=text\/xml”，“内容类型”：“text\/xml”，“内容版本”：“vor”，“预期应用程序”：“文本挖掘”｝，｛“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:S1571066110000848？httpAccept=text\/plain”，“内容类型”：“text\/plain”，“内容版本”：“vor”，“预期应用程序”：“文本挖掘”｝]，“已存储”：｛“日期部分”：[[2019,6,3]]，“date-time“：”2019-06-03T11:21:50Z“，”timestamp“：1559560910000}，”score“：1，”resource“：{主要”：{“URL”：“https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066110000848”}}，“副标题”：[]，“短标题”：[]，“已发布”:{“date-parts”：[[2010,9]]}、“references-count”：35，“alternative-id”：[“S15710661100000848”]，“URL”：“http:\/\/dx.doi.org/10.1016\/j.entcs.2010.08.0005“，”关系“：｛｝，”ISSN“：[”1571-0661“]，”ISSN类型“：[｛”value“：”1571-0661“，”type“：”print“｝]，”subject“：[]，”published“：｛”date parts“：[[2010,9]]｝｝｝