{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,5,27]]，“日期-时间”：“2024-05-27T02:31:14Z”，“时间戳”：1716777074908}，“参考-计数”：19，“出版商”：“Springer Science and Business Media LLC”，“问题”：“1-2”，“许可证”：[{“开始”：}“日期-零件”：[[2006,19]]，”日期-时间“：”2006-01-19T00:00:00Z“，“timestamp”：1137628800000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://www.springer.com/tdm”}]，“content-domain”：{“domain”（域）：[]，“crossmark-restriction”（交叉标记限制）：false}，”short-container-title“：[”J Autom Reasoning“]，”published-print“：{”date-parts“：[[2006,10,17]}，‘DOI’：“10.1007\/s10817-005-9019-5”，“type”：“journal-article”，“created”：{“date-parts”：[[2006,1,18]]，“日期-时间”：“2006-01-18T12:41:53Z”，“时间戳”：1137588113000}，“页面”：“39-83”，“来源”：“Crossref”，“is-referenced-by-count”：24，“标题”：[“多方合同签订的形式分析”]，“前缀”：“10.1007”，《卷》：“36”，“作者”：[{“given”：“Rohit”，“family”：“Chadha”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Steve”，“family”：“Kremer”、“sequence”：“additional”，“affiliation”：[]}，{“given”：“Andre”，“family”：“Scedrov”，“sequences”：“附加”，“从属”：[]}]，“member”：“297”，“published-online”：{“date-parts”：[[2006,19]]}、“reference”：[{“key”：”9019_CR1“doi-asserted-by”：”crossref“，”非结构化“：”Alur，R.，Henzinger，T.A.和Kupferman，O.（1997））交替时间-时间逻辑，第38届计算机科学基础年度研讨会（FOCS\u201997），pp.100\u2013109.“，”DOI“：”10.1109\/SFCS.1997.646098“｝，｛”key“：”9019_CR2“，”DOI断言“：”crossref“，”非结构化“：”Asokan，N.，Schunter，M.和Waidner，M.（1997）《公平交换的乐观协议》，第四届ACM计算机和通信安全会议，瑞士苏黎世，第7\u201317页。“，“DOI”：“10.1145\/266420.266426”}，{“key”：“9019_CR3”，“DOI-asserted-by”：“crossref”，“unstructured”：“Backes，M.，Pfitzmann，B.和Waidner，M.（2003）反应安全签名方案，载于第六届信息安全会议（ISC），计算机科学讲稿第2851卷，第84\u201395页Round-optimal and abuse free optimistic multi-party contract signing，in Automata，Languages and Programming\u2013 ICALP 2000，Vol.1853 of Leecast Notes in Computer Science，Geneva，Switzerland，pp.524\u2013535.“}，{”issue“：”8“，”key“：”9019_CR5“，”doi-asserted-by“：”crossref“，”first page“：“715”，“doi”：“10.1016\/0167-4048（90）90114-9”，“volume”：“9”，“作者“：”H.Burk“，”year“：”1990“，”unstructured“：”Burk，H.和Pfitzmann，A.（1990）《计算机与安全》第9卷第8期第715\u2013721.“，”journal title“：”Computers and security“}，{“key”：“9019_CR6”，“unstructure”：“Chadha，R.，Kanovich，M.和Scedrov，A.（2001）归纳方法和合同签署协议，第八届美国计算机与通信安全会议，美国宾夕法尼亚州费城，第176\u2013185页。“}，{“key”：“9019_CR7”，“doi-asserted-by”：“crossref”，“unstructured”：“Chadha，R.，Mitchell，J.C.，Scedrov，A.和Shmatikov，V.（2003）《合同签署、乐观主义和优势》，R.M。Amadio和D.Lugiez（编辑）CONCUR 2003\u2013并发理论，计算机科学讲义第2761卷，第361\u2013377页。“，“DOI”：“10.1007\/978-3-540-45187-7_24”}，{“key”：“9019_CR8”，“unstructured”：“Chadha，R.，Kremer，S.和Scedrov A.（2004a）多方公平交换协议的正式分析，第17届IEEE计算机安全基础研讨会，美国加利福尼亚州阿西洛马尔，第266\u2013279页合同签订、乐观主义与优势，《逻辑与代数编程杂志》（密码协议建模与验证专刊）64（2），189\u2013218Crow，J.、Owre，S.、Rushby，J.，Shankar，N.和Srivas，M.（1995）《PVS教程简介》，佛罗里达州博卡拉顿工业强度正式规范技术研讨会。“}，{“key”：“9019_CR11”，“doi-asserted-by”：“crossref”，“unstructured”：“Das，S.和Dill，D.L.（2001）抽象过渡关系的逐次逼近，第十六届IEEE计算机科学逻辑研讨会（LICS 01），第51\u201360页。“，“DOI”：“10.1109\/LICS.2001.932482”}，{“key”：“9019_CR12”，“volume-title”：“公钥签名系统之间的关系，技术报告175”，“author”：“S.Even”，“year”：“1980”，“unstructured”：“Even，S.和Yacobi，Y.（1980）《公钥签名系统之间的关系》，技术报告175，Technion，Haifa，Israel。}，{“key”：“9019_CR13”，“首页”：“151”，“volume-title”：“分布式计算国际研讨会，计算机科学讲义第1693卷”，“author”：“J.Garay”，“year”：“1999”，“unstructured”：“Garay，J.A.和MacKenzie，P.D.（1999）无滥用多方合同签订，P.Jayanti（ed.）分布式计算国际研讨会，计算机科学讲义第1693卷，布拉迪斯拉发，斯洛伐克共和国，第151\u2013165页。“}，{“key”：“9019_CR14”，“doi-asserted-by”：“crossref”，“unstructured”：“Garay，J.A.，Jakobsson，M.和MacKenzie，P.D.（1999）无滥用乐观合同签署，M.J.Wiener（ed.）密码学进展\u2013 Crypto 1999，计算机科学讲义第1666卷，第449\u2013466页。“，“DOI”：“10.1007\/3-540-48405-1_29”}，{“key”：“9019_CR15”，“DOI-asserted-by”：“crossref”，“unstructured”：“G\u00fcrgens，S.和Rudolph，C.（2003）公平不可否认协议的安全分析，载于A.E.Abdallah，P.Ryan和S.A。Schneider（eds.）《安全的形式方面》，《计算机科学讲义》第2629卷，英国伦敦，第97\u2013114页。“，“DOI”：“10.1007\/978-3-540-40981-6_10”}，{“key”：“9019_CR16”，“DOI-asserted-by”：“crossref”，“unstructured”：“Henzinger，T.A.，Manjumdar，R.，Mang，F.Y.和Raskin，J.-F.（2000）《J。Palsberg（ed.），SAS 2000：静态分析国际研讨会，美国加利福尼亚州圣巴巴拉市计算机科学讲稿第1824卷，第220\u2013239页。“，“DOI”：“10.1007\/978-3-540-45099-3_12”}，{“key”：“9019_CR17”，“volume-title”：“无滥用合同签订的博弈分析，第15届IEEE计算机安全基金会研讨会”作者“：”S.Kremer“，”year“：”2002“，”unstructured“：”Kremer，S.，and Raskin，J.-F.（2002）《无虐待合同签订的博弈分析》，第15届IEEE计算机安全基础研讨会，加拿大布雷顿角。“}，{”key“：”9019_CR18“，”doi-asserted-by“：”crossref“，”unstructured“：”Nipkow，T.，Paulson，L.C.和Wenzel，M.（2002）Sabelle \/HOL\u2013高阶逻辑的证明助手，Springer计算机科学讲义第2283卷。“，”doi“：”10.1007\/3-540-45949-9“}“，{问题”：“2”，“key”：“9019_CR19”，“首页”：“419”，“卷”：“283”“，”作者“：”V。Shmatikov”，“年份”：“2002年”，“非结构化”：“Shmatikiv，V.和Mitchell，J.（2002）两种合同签订协议的最终状态分析，理论计算机科学（安全分析和设计理论基础专刊）283（2），419\u2013450。”，“期刊标题”：“理论计算机科学（安全分析与设计理论基础专刊）“}]，“容器-时间”：[“自动推理杂志”]，“原始标题”：[]，“语言”：“en”，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/s10817-005-9019-5.pdf”，“内容-类型”：“应用程序\/pdf”、“内容-版本”：“vor”，“intended-application“：”text-mining“}，{“URL”：“http://\/link.springer.com/article\/10.1007\/s10817-005-9019-5\/fulltext.html”，“content-type”：“text\/html”，“content-version”：“vor”，“intended-application”：“text-mining”}，}“URL”：“http:\\/link.sringer.com/content\/pdf\/10.10007\/s10817-005-90159-5”，“内容类型”：“未指定”，“content-version“：”vor“，”intended-application“：”相似性检查“}]，”存放“：{”日期部分“：[[2020,4,12]]，”日期时间“：”2020-04-12T04:49:46Z“，”时间戳“：1586666986000}，”分数“：1，”资源“：”主“：”URL“：”http://link.sprimary.com\/10007\/s10817-005-9019-5“}}，“副标题”：[]，“短标题”：[]，“发布”：{“日期部分”：[2006年1月19日]]}，“参考人数”：19，“新闻期刊“：{”期刊“：“1-2”，“published-print”：{“date-parts”：[[2006,10,17]]}}，“alternative-id”：[“9019”]，“URL”：“http://\/dx.doi.org\/10.1007\/s10817-005-9019-5”，“relationship”：{}，”ISSN“：[”0168-7433“，”1573-0670“]，”ISSN-type“：[{”value“：”0168-9433“”，“type”：“print”}，{“值”：“1573-0670”，“类型”：“电子”}]，“主题”：[]，“发布”：{日期部分“：[[2006,1,19]]}}}