{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,5]]，“日期时间”：“2024-09-05T17:37:29Z”，“时间戳”：1725557849561}，“出版商位置”：“柏林，海德堡”，“参考计数”：31，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{”type“打印”，“值”：“9783838 540201267“}，{”类型“：“electronic”，“value”：“9783540398783”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2003]]}，”DOI“：”10.1007\/978-3-540-39878-3_10“，”type“：”book-capter“，”created“：{”date-ports“：[2010,6,23]]，”date-time“：”2010-06-23T18:39:39:03Z“，”时间戳“：1277318343000}，”页面“：”116-129“，“source”：“Crossref”，“由count引用”：8，“title”：[“分层安全协议的建模和验证：银行应用程序”]，“prefix”：“10.1007”，“author”：[｛”给定“：“Johannes”，“family”：“Gr\u00fcnbauer”，“sequence”：“first”，“affiliation”：[]｝，｛”给定“：“Helia”，“family”：“Hollmann”，“sequence”：“additional”，“affiliation”：[]｝，｛”给定“：“Jan”，“family”：“J\u00fcrjens”，“sequence”：“additional”，“affiliation”：[]｝，｛“given”：“Guido”，“family”：“Wimmel”，“sequence”：“additional”，“affiliation”：[]｝]，“member”：“297”，“reference”：[｛“volume title”：“Security Engineering：构建可靠分布式系统指南”，“year”：“2001”，“author”：“R.Anderson”，“key”：“10_CR1”，“nonstructured”：“Anderson，R.：《安全工程：构建可靠分布式系统指南》，Wiley，Chichester（2001）”}，{“卷-时间”：“计算机安全、可靠性和安全”，“年份”：“2002年”，“系列-时间”，“计算机科学讲义”，“关键”：“10_CR2”，“非结构化”：“Anders，S.，Bologna，S.、Felici，M.（编辑）：SAFECOMP 2002。LNCS，卷\u00a02434。Springer，Heidelberg（2002）“}，{”key“：”10_CR3“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“211”，”doi“：”10.1007\/3-540-40891-6_19“，”volume-title“：“计算机安全性、可靠性和安全性”，”author“：”R.E.Bloomfield“，”year“：”2000“，”unstructured“：”Bloomfield，R.E.，Craigen，D.，Koob，F.，Ullmann，M.，Wittmann，S.：形式方法传播：过去的教训和未来的展望。收录人：Koornneef，F.，van der Meulen，M.J.P.（编辑）SAFECOMP 2000。LNCS，第u00a01943卷，第211\u2013226页。Springer，Heidelberg（2000）“}，{“key”：“10_CR4”，“unstructured”：“Broy，M.，Dederich，F.，Dendorfer，C.，Fuchs，M.、Gritzner，T.，Weber，R.：分布式系统的设计\u2013 FOCUS简介。技术报告TUM-I9202，技术大学\u00e4t M\u00fcnchen（1992）”}，}，“卷时间”：“交互系统的规范和开发”，“年份”：“2001年”，“关键”：“10_CR5”，“非结构化”：“Broy，M.，Stolen，K.（编辑）：交互系统的规格和开发。Springer，Heidelberg（2001）“}，{”key“：“10_CR6”，”doi-asserted-by“：”publisher“，”first page“：”233“，”doi“：”10.1098\/rspa.1989.0125“，”volume“:”426“，”author“：”M.Burrows“，“year”：“1989”，“unstructured”：“Burrows.，M.，Abadi，M.和Needham，R.：认证逻辑。伦敦皇家学会论文集A\u00a0426，233\u2013271（1989）”，“journal-title“：”《伦敦皇家学会会刊A》}，{“key”：“10_CR7”，“unstructured”：“Daniel，P.：关键系统的安全\u2013管理问题。收录于：2001年关键系统会议，伯明翰，2013年10月23日\u244（2001）安全关键系统俱乐部和软件可靠性与度量俱乐部”}doi-asserted-by“：”publisher“，”first page“：”198“，“doi”：“10.1109\/TIT.1983.1056650”，“volume”：“29”，“author”：“D.Dolev”，“year”：“1983”，“unstructured”：“Dolev，D.，Yao，A.：关于公钥协议的安全性。IEEE信息理论汇刊\u00a029（2），198\u2013208（1983）“，“期刊标题”：“IEEE信息论汇刊”}，{“key”：“10_CR9”，“首页”：“995”，“volume-title”：“理论计算机科学手册，B卷”，“作者”：“E.Allen Emerson”，“年份”：“1990”，“非结构化”：“艾伦·爱默生：时间和模态逻辑。摘自：van Leeuwen，J.（编辑）《理论计算机科学手册》，第B卷，第16章，第995\u20131072页。Elsevier Science Publishers，Amsterdam（1990）“}，{”key“：”10_CR10“，”doi-asserted-by“：”crossref“，”unstructured“：”Fredriksen，R.，Kristiansen，M.，Gran，B.，Stolen，K.，Opperud，T.，Dimitrakos，T.：基于模型的风险管理过程的CORAS框架。摘自：Anderson，S.，et al.（eds.）[2]，pp.94\u2013105。“，”doi“：”10.1007\/3-540-45732-1_11“}”，{“volume-title“：“计算机安全”，“年份”：“1999年”，“作者”：“D.Gollmann”，“密钥”：“10_CR11”，“非结构化”：“Gollman，D.：计算机安全。J.Wiley，Chichester（1999）“}，{“key”：“10_CR12”，“unstructured”：“Gr\u00fcnbauer，J.：Modellbasierte Sicherheitsanalysis einer Bankapplikation。2019s硕士论文，科技大学\u00e4t M\u00fc nchen（2003）”}，}“key:”10_CR13“，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“首页”：“197”，”“doi”：“”10.1007\/3-540-45608-2_4“，“卷时间”：“安全分析和设计的基础”，“作者”：“J.D.Guttman”，“年份”：“2001”，“非结构化”：“Guttman，J.D.：安全目标：包轨迹和串空间。收录：Focardi，R.，Gorrieri，R.（编辑）FOSAD 2000。LNCS，卷\u00a02171，第197页。Springer，Heidelberg（2001）“}，{”key“：”10_CR14“，”doi-asserted-by“：”crossref“，”unstructured“：”Huber，F.、Molterer，S.、Rausch，A.、Sch\u00e4tz，B.、Sihling，M.、Slotosch，O.：分布式系统的工具支持规范和仿真。在：并行和分布式系统软件工程国际研讨会，pp.155\u2013164（1998）“，”DOI“：”10.1109\/PDSE.1998.668174“}，{”key“：”10_CR15“，”DOI-asserted-by“：”publisher“，”first page“：“282”，“DOI”：“10.1109\/CSD.1998.657559”，“volume-title”：“1998年并行应用于系统设计的国际会议”，“作者“：”F.Huber“，”year“：”1998“，”unstructured“：”Huber，F.，Molterer，S.，Sch\u00e4tz，B.，Slotosch，O.，Vilbig，A.：交通灯\u2013汽车焦点案例研究。1998年并行应用于系统设计国际会议，第282\u2013294页。IEEE计算机协会，洛斯阿拉米托斯（1998）“｝，｛”键“：”10_CR16“，”非结构化“：”ITU.ITU-TS建议Z.120：消息序列图（MSC）.ITU-TS，日内瓦（1996）“｝，｛”键“：”10_CR17“，”系列标题“：”计算机科学讲义“，”doi断言“：”crossref“，”doi“：”10.1007\/3-549535-9“，”卷标题“：”计算机安全、可靠性和安全”，“作者”：“J.J\u00fcrjens”，“年份”：“2002年”，“非结构化”：“J\u100fcrjess，J.：用UML开发关键系统。收录人：Anderson，S.、Bologna，S.和Felici，M.（编辑）SAFECOMP 2002。LNCS，vol.\u00a02434，Springer，Heidelberg（2002）“}，{“key”：“10_CR18”，“doi-asserted-by”：“crossref”，“unstructured”：“J\u00fcrjens，J.：使用UML进行安全系统开发。Springer（2003），Berlin（待出版）”，“doi”：“10.1007 \/0-306-46958-8_8”}，}“volume-title”：“第一届电子商务、电子商务和电子政务IFIP会议（I3E）”，”，“年份”：“2001年”，“作者”：“J.J\u00fcrjens”，“key”：“10_CR19”，“unstructured”：“J\u100fcrjess，J.，Wimmel，G.：电子商务安全建模：通用电子钱包规范。参加：第一届关于电子商务、电子商务和电子政务（I3E）的IFIP会议。Kluwer，Dordrecht（2001）“}，{”key“：”10_CR20“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“302”，”doi“：”10.1007\/3-540-48257-1_20“，”volume-title“：“应用形式方法-FM-Trends 98”，“author”：“F.Koob”，“year”：“1999”，“unstructured”：“Koob，F.，Ullmann，M.，Wittmann，S.：在安全工程过程中使用正式安全策略模型的新主题。收录：Hutter，D.，Traverso，P.（编辑）FM-Trends 1998。LNCS，第u00a01641卷，第302\u2013310页。Springer，Heidelberg（1999）“}，{“key”：“10_CR21”，“unstructured”：“Lano，K.，Clark，D.，Androutsopoulos，K.：面向对象模型的安全性和安全性分析。In:Anderson，S.，et al.（eds.）[2]”}，}，“key“：”10_CR22“，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“crossref”，“first page”：”147“，“doi”：“10.1007\/3-540-61042-1_43”，“”卷标题“：“系统构建和分析的工具和算法”，“作者”：“G.Lowe”，“年份”：“1996”，“非结构化”：“Lowe，G.：使用FDR破坏和修复Needham Schroeder公钥协议。收录：Margaria，T.，Steffen，B.（编辑）TACAS 1996。LNCS，卷\u00a01055，第147\u2013166页。Springer，Heidelberg（1996）“}，{”key“：”10_CR23“，”doi-asserted-by“：”crossref“，”doi“：”10.1007\/978-1-4615-3190-6“，”volume-title“：”符号模型检查“，”author“：”K.L.McMillan“，“year”：“1993”，“unstructured”：“McMillan.，K.L.:符号模型检查。Kluwer Academic Publishers，Boston（1993）”}，“{”key“：“10_CR24”，“非结构化”：“Mitchell，J.C.，Shmatikov，V.，Stern，U.：ssl 3.0的有限状态分析。第七届USENIX安全研讨会，第201\u2013216（1998）页“}，{“问题”：“1\u20132”，“密钥”：“10_CR25”，“doi-asserted-by”：“crossref”，“首页”：“85”，“doi”：“10.3233\/JCS-1998-61-2005”，“卷”：“6”，“作者”：“L.C.Paulson”，“年份”：“1998”，“非结构化”：“Paulson，L.C.：验证密码协议的归纳方法。计算机安全杂志\u00a06（1\u20132），85\u2013128（1998）“，”Journal-title“：”Journal of Computer Security“}，{“key”：“10_CR26”，“unstructured”：“Philipps，J.，Slotosch，O.：The Quest for Correct Systems:Model Checking of Diagrams and Datatypes。In:Asia Pacific Software Engineering Conference 1999（1999）”}，}“key:”10_CR27“，”doi-asserted-by“：”crossref”，“非结构化”：“Rottke，T.，Hatebur，D.，Heisel，M.，Heiner，M.：面向问题的通用标准认证方法。摘自：Anderson，S.，et al.（eds.）[2]“，”DOI“：”10.1007\/3-540-45732-1_32“}，{“key”：“10_CR28”，“unstructured”：“Santen，T.，Pfitzmann，A.，Heisel，M.：安全it系统的规范和改进。摘自：Muntean，T.、Butler，M.（eds.）关键系统优化国际研讨会：方法、工具和经验，RCS 2002（2002）”}，“{“密钥”：“10_CR29“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：”346“，”doi“：”10.1007\/3-540-48257-1_25“，”volume-title“：“应用形式方法-FM-Trends 98”，”author“：”O.Slotosch“，”year“：”1999“，”unstructured“：”Slotosh，O.：Quest:项目概述。收录：Hutter，D.，Traverso，P.（编辑）FM-Trends 1998。LNCS，第u00a01641卷，第346\u2013350页。Springer，Heidelberg（1999）“}，{“volume-title”：“Haskell:函数式编程的技巧”，“year”：“1999”，“author”：“S.Thompson”，“key”：“10_CR30”，“unstructured”：“Thompsson，S.：Haskell:The Craft of Functional Programming。Addison-Wesley Longman，Amsterdam（1999）”}，}“key“：”10_CR31“doi-asserted-by”：“crossref”，“非结构化”：“Wimmel，G.，Wi\u00dfpeintner，A.：《安全工程的扩展描述技术》，载于：《可信信息，新十年的挑战》。第十六届信息安全国际会议，IFIP\/Sec（2001）“，”DOI“：”10.1007\/0-306-46998-7_32“}]，”container-title“：[”计算机科学讲义“，”计算机安全、可靠性和安全“]，”original-title”：[]，”link“：[{”URL“：”http://\/link.springer.com/content\/pdf\/10.10007\/978-3540-39878-3_10“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2021,10,29]]，”date-time“：”2021-10-29T22:01:37Z“，”timestamp“：1635544897000}，”score“：1，”resource“：”{“primary”：{“URL”：“http://link.springer.com/10.1007\/978-3_10”}}，“subtitle”：[]，“shorttitle”：[]，“已发布”：{“日期-部分”：[[2003]]}，“ISBN”：[“9783540201267“，”9783540398783“]，”references-count“：31，”URL“：”http://\/dx.doi.org\/10.1007\/978-3540-39878-3_10“，”relation“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，“ISSN-type”：[{“type”:“print”，“value”：“0302-974”}，{“类型”：“electronic”，“值”：“1611-3399”}]，“主题”：[]，“已发布”：{“日期部分”：[[2003]]}}