{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,3,13]]，“日期时间”：“2024-03-13T19:10:01Z”，“时间戳”：1710357001264}，“引用-计数”：48，“发布者”：“爱思唯尔BV”，“问题”：“3”，“许可证”：[{“开始”:{“日期部分-01T00:00:00Z“，“时间戳”：1030838400000}，“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”：13750560000}，“content-version”：“vor”，“delay-in-days”：3984，“URL”：“http://\/creativecommons.org\/licenses \/by-nc-nd \/3.0\/“}]，”内容域“：{”域“：[]，“交叉标记限制”：false｝，“短容器标题”：[“理论计算机科学电子笔记”]，“已出版印刷品”：｛“日期部分”：[[2002,9]]｝，“DOI”：“10.1016\/s1571-0661（04）80416-x”，“类型”：“期刊文章”，“已创建”：｛“日期部分”：[[2004,9,29]，“日期时间”：“2004-09-29T16:47:47Z”，“时间戳”：1096476467000｝，“页面”：“52-75”，“来源”：“Crossref”，“is-referenced-by-count”：7，“title”：[“基于环境监测的监护人”]，“prefix”：“10.1016”，“volume”：“66”，“author”：[{“given”：”G.“，”family“：”Ferrari“，“sequence”：“first”，“affiliation”：[]}，{“给定”：“E.”，“family”：“Moggi”，“seq”：“additional”，“从属关系”：[]}，“givent”：“R”，“家庭”：“Pugliese“，”sequence“：”additional“，”affiliation“：[]}]，“member”：“78”，“reference”：[{“key”：“10.1016\/S1571-0661（04）80416-X_NEWBIB1”，“unstructured”：“ACM.第27届ACM程序设计语言原理研讨会（马萨诸塞州波士顿），2000.”}，{“密钥”：“101016\/S1571-0661：“10.1016\/S1571-0661（04）80416-X_NEWBIB3”，“doi-asserted-by”：“交叉引用”，“非结构化”：“M.Bartoletti，P.Degano，and G.Ferrari.堆叠检查的静态分析。在并行与协调国际会议上，ENTCS，2001年第54号。”，“doi”：“10.116\/S1571-0661（04）00236-1”}，{“key”：“0.1016\/S1571-0661，“doi-asserted-by”：“crossref”，“unstructured”：“Michele Bugliesi和Giuseppe Castagna.Secure safe ambients.摘自《POPL’01会议录》[2]，第222\u2013235页。”，“doi”：“10.1145\/373243.360223”}，{“key”：“101016\/S1571-0661（04）80416-X_NEWBIB5”，“series-title”：“TACS 2001，计算机科学讲稿中的第2215号”，“第一页”：“38”，“article-title”：“框式环境”，“author”：“Bugliesi”，“year”：“2001”}，{“key”：“10.1016\/S1571-0661（04）80416-X_NEWBIB6”，“series-title”：《Concur 2001》，《计算机科学讲稿》第2154号，“first page”：《102》，“artice-title》：“Reasoning about security in mobile ambients”，“author”:“Buglie”，“year”：《2001》}571-0661（04）80416-X_NEWBIB7“，“非结构化”：“L.Cardelli和A.Gordon。随时随地\u2014移动环境的模态逻辑。在POPL'00[1]的会议记录中，第365\u2013377页。“}，{“key”：“10.1016\/S1571-0661（04）80416-X_NEWBIB8”，“doi-asserted-by”：“crossref”，“unstructured”：“卢卡·卡德利。移动计算的摘要。Jan Vitek和Christian Jensen主编，《安全互联网编程：移动和分布式对象的安全问题》，《计算机科学讲义》第1603页，第51页\u201394。Springer，1999.“，”DOI“：”10.1007\/3-540-48749-2_4“}，{“key”：“10.1016\/S1571-0661（04）80416-X_NEWBIB9”，“DOI-asserted-by”：“crossref”，“unstructured”：“Luca Cardelli，Giorgio Ghelli，and Andrew D。戈登。移动环境的移动类型。在Ji\u0159\u00ed Wiederman、Peter van Emde Boas和Mogens Nielsen编辑的《ICALP’99会议录》中，《计算机科学讲义》第1644卷，第230页，2013239页。Springer，1999.“，”DOI“：”10.1007\/3-540-48523-6_20“}，{“key”：“10.1016\/S1571-0661（04）80416-X_NEWBIB10”，“DOI-asserted-by”：“crossref”，“unstructured”：“Luca Cardelli，Giorgio Ghelli，and Andrew D.Gordon。环境群体和流动类型。J.van Leeuwen，O.Watanabe，M.Hagiya，P.D.Mosses，and T。伊藤，编辑，《2000年TCS会议录》，《计算机科学讲义》第1872卷，第333\u2013347页。IFIP，施普林格，2000年。要在jic中显示的完整版本。“，”DOI“：”10.1007\/3-540-44929-9_25“}，{“key”：“10.1016\/S1571-0661（04）80416-X_NEWBIB11”，“DOI-asserted-by”：“crossref”，“DOI”：“101016\/S0890-5401（01）93121-9”，”article-title“：“环境微积分的类型”，“author”：“Cardelli”，“year”：“2002”，“journal-title”：“journal of Information and Computation”}，}“key”：“10.0016”\/S1571-0661（04）80416-X_NEWBIB12“，”doi-asserted-by“：”crossref“，”unstructured“：”Luca Cardelli和Andrew D.Gordon。移动环境的类型。《99年POPL会议录》，第79页\u201392。ACM，1999.“，”DOI“：”10.1145\/292540.292550“}，{“key”：“10.1016\/S1571-0661（04）80416-X_NEWBIB13”，“DOI-asserted-by”：“crossref”，“unstructured”：“Luca Cardelli和Andrew D.Gordon。移动环境。理论计算机科学，240（1）：177\u20132132000。扩展摘要出现在FoSSaCS’98会议录，计算机科学讲稿第1378页，第140页，2013155页，Springer，1998年。“，”DOI“：”10.1016\/S0304-3975（99）00231-5“}，{“key”：“10.1016\/S1571-0661（04）80416-X_NEWBIB14”，“series-title”：“Concur 2001，数字2154，计算机科学演讲稿”，“首页”：“82”，“article-title“：”seal演算中的打字移动性“，”author“：”Castagna“，”year“：”2001“}，{”key“：”10.1016\/S1571-0661（04）80416-X_NEWBIB15“，”series-title“：“Internet Programming Languages，number 1686 in Teach Notes in Computer Science”，“first page”：“47”，“article-title”：“seal:A framework for secure mobile calculations”，“author”：“Castagne”，“year”：“”1999年“}，{“key”：“10.1016\/S1571-0661（04）80416-X_NEWBIB16”，“series-title”：“TOSCA'01，ENTCS 62”，“article-title”：”移动环境的完全抽象模型“，“author”：“Coppo”，“year”：“2001”}，“key“：”10.1016\\S1571-0661 order mobile ambients”，“作者”：“Coppo“，”year“：”2002“}，{”issue“：”1“，”key“：”10.1016\/S1571-0661（04）80416-X_NEWBIB18“，”doi-asserted-by“：”crossref“，”first page“：“215”，“doi”：“10.1016\/S0304-3975（99）00232-7”，“article-title”：“访问控制类型”，“volume”：“240”，“author”：“De Nicola”，“year”：“2000”，“journal-title“：”理论计算机科学“}，{“键”：“10.1016\/S1571-0661（04）80416-X_NEWBIB19“，”doi-asserted-by“：”crossref“，”unstructured“：”P.Degano，F.Levi，and C.Bodei。安全环境：控制流分析和安全。亚洲计算科学会议-亚洲'00，LNCS 1961卷，199\u2013214页。Springer，2000.“，”DOI“：”10.1007\/3-540-44464-5_15“}，{“key”：“10.1016\/S1571-0661（04）80416-X_NEWBIB20”，“DOI-asserted-by”：“crossref”，“unstructured”：“M.Dezani-Ciancaglini and I.Salvo.移动安全环境的安全类型。亚洲计算科学会议-亚洲'00，LNCS 1961卷，第215\u2013236页。Springer，2000.“，”DOI“：”10.1007\/3-540-44464-5_16“}，{“key”：“10.1016\/S1571-0661（04）80416-X_NEWBIB21”，“DOI-asserted-by”：“crossref”，“unstructured”：“Ulfar Erlingsson和Fred B.Schneider。安全政策的Sasi实施：回顾。在新安全范式研讨会上。ACM出版社，1999年。完整版本为技术报告TR99\u20131758，康奈尔大学计算机科学系，1999年7月2000“}，{“key”：“10.1016\/S1571-0661（04）80416-X_NEWBIB23”，“unstructured”：“Timothy Fraser，Lee Badger，and Mark Feldman。使用通用软件包装加固COTS软件。在IEEE安全与隐私研讨会上，第2\u201316页，1999年。”}，}“key”：Java 2平台内部安全：体系结构、API设计和实现”，“作者”：“龚”，“年份”：“1999”，“新闻标题”：“Addison-Wesley，Reading，MA，USA”}，{“密钥”：“10.1016\/S1571-0661（04）80416-X_NEWBIB25”，“非结构化”：“A.Gordon和C.Fournet。堆栈检查：理论和变体。在POPL'01会议记录[2]中。”}、{“key”：“10.1016\/S1571-0661（04）80416-X_NEWBIB26“，“series-title”：“保护Java”，“author”：“Mc Graw”，“year”：“1999”}，{“key”：“10.1016\/S1571-0.661（04”80416-X-NEWBIB27“，“doi-asserted-by”：“crossref”，“unstructured”：“Rene Rydhof Hansen、Jacob Grydholt Jensen、Flemming Nielson和Hanne Riis Nielson。移动环境的抽象解释。静态分析研讨会（SAS’99），计算机科学讲义第1694页，第134\u2013148页。Springer，1999.“，”DOI“：”10.1007\/3-540-48294-6_9“}，{“key”：“10.1016\/S1571-0661（04）80416-X_NEWBIB28”，“DOI-asserted-by”：“crossref”，“unstructured”：“N.Heintze和J.G.Riecke。SLam演算：保密性和完整性编程。收录于《POPL'98年学报》。ACM，1998.“，”DOI“：”10.1145\/268946.268976“}，{“key”：“10.1016\/S1571-0661（04）80416-X_NEWBIB29”，“unstructured”：“M.Hennessy和J.Riely，《移动代理系统中的资源访问控制》，Uwe Nestmann和Benjamin C.Pierce主编，《HLCL’98程序：高级并发语言》，ENTCS第16.3卷，第3\u201317页。Elsevier，1998年。出现在信息和计算中。“}，{”key“：”10.1016\/S1571-0661（04）80416-X_NEWBIB30“，”unstructured“：”Francesca Levi和Davide Sangiorgi.移动安全环境。[31]的完整版本。“}”，{“key”：“10.1016\/S1571-661（04）80 416-X_NEWBIB31”，“unstructure”：“Francesca-Levi和Davide Sangiorgi。控制环境中的干扰。在POPL'00[1]的会议记录中，第352\u2013364页。”}，}“key“：”10.1016\/S1571-0661（04）80416-X_NEWBIB32“，”doi-asserted-by“：”crossref“，”unstructured“：”M.Merro和M.Hennessy。安全环境中的相互模拟一致性。在POPL’02会议记录中。ACM，2002.“，”DOI“：”10.1145\/503272.503280“}，{“key”：“10.1016\/S1571-0661（04）80416-X_NEWBIB33”，“DOI-asserted-by”：“crossref”，“first page”：”267“，”DOI“：“10.11016\/0304-3975（83）90114-7”，”article-title“：”Calculi for synchroniny and asynchronity“，”volume“：”25“，”author“：”Milner“，”year“：”1983“，”journal al-title“：”理论计算机科学“}，{”密钥“：”10.1016\/S1571-0661（04）80416-X_NEWBIB34“，”doi-asserted-by“：”crossref“，”unstructured“：”G.C.Necula“。证明携带代码。《持久性有机污染物公约》第97卷，第106页，第2013119页。ACM，1997.“，”DOI“：”10.1145\/263699.263712“}，{“key”：“10.1016\/S1571-0661（04）80416-X_NEWBIB35”，“series-title”：“移动代理与安全，计算机科学讲义中的1419号”，“首页”：“61”，“文章标题”：“使用校对码的安全、不受信任的代理”，“author”：“Necula”，“year”：“1998”}，”{“key“：”1016\/S151-0661（04）80416-X_NEWBIB36“，“非结构化”：“弗莱明·尼尔森和汉内·里斯·尼尔森。移动环境的形状分析。在POPL'00[1]的会议记录中，第135\u2013148页。“}，{”key“：”10.1016\/S1571-0661（04）80416-X_NEWBIB37“，”doi-asserted-by“：”crossref“，”unstructured“：”Flemming Nielson，Hanne Riis Nielson、Rene Rydhof Hansen和Jacob Grydholt Jensen。在移动环境中验证防火墙。摘自Jos C.M。Baeten和Sjouke Mauw，编辑，《CONCUR’99会议录》，《计算机科学讲义》第1664卷，第463\u2013477页。Springer，1999.“，”DOI“：”10.1007\/3-540-48320-9_32“}，{“key”：“10.1016\/S1571-0661（04）80416-X_NEWBIB38”，“series-title”：“ESOP'01，LNCS中的编号2028”，”article-title“：”静态访问控制的系统方法“，”author“：”Pottier“，”year“2001”}，“key“：”1016\/S1517-10661（04:80416-X-NEWBIB39“，”DOI-asserted by“：”crossref“，”unstructured“：”戴维德·桑吉奥吉和安德烈亚·瓦伦特。用于安全环境的分布式抽象机器。《ICALP 2001年会议录》，《计算机科学讲义》第2076卷，第408\u2013420页。Springer，2001.“，”DOI“：”10.1007\/3-540-48224-5_34“}，{“key”：“10.1016\/S1571-0661（04）80416-X_NEWBIB40”，“unstructured”：“Fred B.Schneider.Enforceable security policies.ACM Transation on Information and System security，2（4），2000。另见技术报告TR99\u20131759，康奈尔大学计算机科学系，1999年7月。“}，{“key”：“10.1016\/S1571-0661（04）80416-X_NEWBIB41”，“doi-asserted-by”：“crossref”，“unstructured”：“Fred B。施耐德、格雷格·莫里塞特和罗伯特·哈珀。基于语言的安全方法。信息学：10年前，10年前。达格斯图尔十周年纪念大会，载于《计算机科学讲义》第2000期，第86页\u2013101。Springer，2000.“，”DOI“：”10.1007\/3-540-44577-3_6“}，{“key”：“10.1016\/S1571-0661（04）80416-X_NEWBIB42”，“unstructured”：“Peter Sewell和Jan Vitek。非信任代码的安全合成：方框pi、包装和因果关系类型。发表在《计算机安全杂志》，2002年。完整版本为技术报告478，剑桥大学计算机实验室，1999年11月。“}，{“key”：“10.1016\/S1571-0661（04）80416-X_NEWBIB43”，“doi-asserted-by”：“crossref”，“unstructured”：“Peter Thiemann.使用类型专门化强制安全属性。欧洲编程研讨会（ESOP’01）编辑D.Sands，第2028页，《计算机科学讲义》，第62\u201376页。Springer，2001.“，”DOI“：”10.1007\/3-540-45309-1_5“}，{“key”：“10.1016\/S1571-0661（04）80416-X_NEWBIB44”，“unstructured”：“Peter Thiemann.高效监控执行的程序专门化。2001.”}，}“issue”：“3”，“key“：”101016\/S1571-06714“，”author“：”Volpano“，”year“：”1996“，”journal-title“：”journal of Computer Security“}，{”key“：”10.1016\/S1571-0661（04）80416-X_NEWBIB46“，”series-title“：“ACM Synposium on Operating Systems Principles（SOSP'93）”，“first page”：“203”，“article-title”：“高效的基于软件的故障隔离”，“author”：“Wahbe”，“year”：“1993”}，”{“key“”：“10.1016\/S1571-0066”1（04）80416-X_NEWBIB47“，”非结构化“：”D.Walker。表示安全策略的类型系统。在POPL'00[1]会议记录中。“｝，｛”key“：”10.1016/S1571-0661（04）80416-X_NEWBIB48“，”doi断言“：”crossref“，”非结构化“：”D.S.Wallach，A.W.Appel和E.W.Felten.Safkasi:一种基于语言的系统的安全机制。ACM TOSEM，2000.“，”doi“：”10.1145\/3363516.363520“｝]，”容器标题“：[”理论计算机科学电子笔记“]，”原标题“：[]，”language“：”en“，”link“：[{”URL“：”https:\/\/api.elsevier.com/content\/article\/PII:S157106610480416X？httpAccept=text\/xml“，”content-type“：”text\/xml'，”content-version“：”vor“，”intended-application“：”text-mining“}，{”URL:“https:\//api.elsevier.com/content\/aarticle\/PII:S157106 610480414X？httpAccept=text\/plain”，“content-t”type“：”text\/plain“，”content-version“：”vor“，”intended-application“：”text-mining“}]，”deposed“：{”date-parts“：[[2021,11,4]]，”date-time“：”2021-11-04T22:36:01Z“，”timestamp“：1636065361000}，”score“：1，”resource“：”{“primary”：{“URL”：“https:\/\/linkinghub.elsevier.com\/retrieve\/piii\/S157106610480416X”}}}，“字幕”：[]，“短标题”：[]，“已发布”：{“日期部分”：[[2002,9]]}，“references-count“：48，”journal-issue“：{”issue“：“3”，“published-print”：{“date-parts”：[[2002,9]]}}，“alternative-id”：[“S157106610480416X”]，“URL”：“http://\/dx.doi.org\/10.1016\/s1571-0661（04）80416-x”，“relation”：{}，”ISSN“：[”1571-0661]，“ISSN-type”：[{“value”：“1571-0671”，“type”：“print”}]，“subject”：[]，“published”：{“date-parts”：[[2002,9]]}}}