弗朗西丝卡·列维 装箱到安全环境中的类型化编码。 （英语） Zbl 1089.68021号 学报信息。 42，编号6-7，429-500（2006）. 总结：我们提出：（i）将装箱环境编码为安全环境的变体；以及（ii）一种新型的安全环境多级安保系统L.Cardelli和G.Ghelli和A.D.戈登【Inf.Compute.177、160–194（2002）】和M.Dezani-Ciancaglini先生和一、萨尔沃【Lect.Notes Compute.Sci.1961，215–236（2000；Zbl 0988.68544号)]. 然后，我们证明了当这些类型应用于编码的BA进程时，可以准确地验证源进程的强制访问控制策略。 引用于4文件 MSC公司： 68M10个 计算机系统中的网络设计和通信 68甲15 编程语言理论 关键词：强制访问控制 引文：Zbl 0988.68544号 PDF格式BibTeX公司 XML格式引用 \textit{F.Levi}，Acta Inf.42，No.6--7，429--500（2006；Zbl 1089.68021） 全文： 内政部 参考文献： [1] Amtoft，T.：环境运动的因果型系统。提交出版（2003年） [2] Amtoft，T.、Kfoury，A.J.、Geertsen-Pericás，s.M.：什么是多态型环境？摘自：《2001年员工持股计划》会议记录。LNCS 2028，第206-220页。斯普林格·弗拉格（2001）·Zbl 0977.68525号 [3] Amtoft，T.，Kfoury，A.J.，Pericás-Geertsen，s.M.，《环境微积分中的有序通信》。计算。语言系统。结构。28, 29–60 (2002) ·Zbl 1051.68029号 ·doi:10.1016/S0096-0551（02）00007-3 [4] Amtoft，T.、Makholm，H.、Wells，J.B.：PolyA：流动环境的真型多态性。摘自：《2004年TCS会议记录》，第591-604页。Kluwer学术出版社，Drodrecht（2004）·Zbl 1088.68653号 [5] Barbanera，F.，Dezani-Ciancaglini，M.，Salvo，I.，Sassone，V.：安全环境的类型推理算法。收录：TOSCA'01会议记录。ENTCS，50（2），（2001）·Zbl 1268.68120号 [6] Bonelli，E.，Compagnoni，A.，Dezani-Ciancaglini，M.，Garralda，P.：带通信接口的盒装环境。摘自：MFCS’04会议记录。LNCS 3153，第119-148页。Springer-Verlag，柏林，纽约海德堡（2004）·Zbl 1097.68083号 [7] Braghin，C.，Cortesi，A.，Focardi，R.：移动环境中信息流安全的控制流分析。参见：《FMOODS’02会议录》，第197–212页。Kluwer学术出版社，Drodrecht（2002）·Zbl 1048.68025号 [8] Bugliesi，M.，Castagna，G.：确保安全环境。摘自：《POPL'01会议录》，第222-235页。ACM，纽约（2001）·Zbl 1323.68404号 [9] Bugliesi，M.，Castagna，G.：安全环境下的行为打字。计算。语言28（1），61-99（2002）·Zbl 1028.68005号 [10] Bugliesi，M.，Castagna，G.，Crafa，S.：盒装环境。收录于：TACS’01会议记录。LNCS 2225，第36-61页。Springer-Verlag，柏林-海德堡-纽约（2001）·Zbl 1087.68541号 [11] Bugliesi，M.、Castagna，G.、Crafa，S.：关于移动环境中安全性的推理。摘自：2001年CONCUR会议记录。LNCS 2154，第102–120页。Springer-Verlag，柏林-海德堡-纽约（2001）·Zbl 1006.68533号 [12] Bugliesi，M.、Castagna，G.、Crafa，S.：移动代理的访问控制：装箱环境的演算。托普拉斯26（1），57–124（2004）·doi:10.1145/963778.963781 [13] Bugliesi，M.，Crafa，S.，Merro，M.，Sassone，V.：盒装环境中的通信干扰。摘自：FSTTCS’02会议记录。LNCS 2556，第71–84页。Springer Verlag，柏林Heildelberg纽约（2002）·Zbl 1027.68086号 [14] Bugliesi，M.、Crafa，S.、Merro，M.和Sassone，V.：封闭环境中的通信和移动控制。通知。计算。（2004），提交出版·Zbl 1101.68943号 [15] Cardelli，L.、Ghelli，G.、Gordon，A.D.：移动环境的移动类型。摘自：ICALP’99会议记录。LNCS 1644，第230–239页。Springer-Verlag，Berlin Heildelberg New York（1999年） [16] Cardelli，L.，Ghelli，G.，Gordon，A.D.：环境微积分的类型。通知。计算。177(2), 160–194 (2002) ·Zbl 1093.68060号 [17] Cardelli，L.，Gordon，A.D.：移动环境。在：FoSSaCS'98。LNCS 1378，第140–155页。Springer-Verlag，Berlin Heildelberg New York（1998年）·Zbl 0954.68108号 [18] Cardelli，L.，Gordon，A.D.：流动环境的等式性质。收录：FoSSaCS’99会议记录。LNCS 1578，第212-226页。Springer-Verlag，Berlin Heildelberg New York（1999年）·Zbl 1085.68099号 [19] Cardelli，L.，Gordon，A.D.：移动环境的类型。摘自：《99年POPL会议录》，第79-92页。ACM，纽约（1999） [20] Coppo，M.、Dezani-Ciancaglini，M.，Giovannetti，E.、Pugliese，R.：移动环境的动态和本地输入。摘自：《2004年TCS会议记录》，第583–596页。Kluwer学术出版社，Drodrecht（2004）·Zbl 1094.68060号 [21] Crafa，S.、Bugliesi，M.、Castagna，G.：封闭环境中的信息流安全。参见：FWAN'02会议记录。ENTCS，第66卷，第3期，爱思唯尔，阿姆斯特丹（2002）·Zbl 1268.68123号 [22] Degano，P.，Levi，F.，Bodei，C.：安全环境：控制流分析和安全。收录于：亚洲'00年会议记录。LNCS 1961，第199–214页。Springer-Verlag，柏林-海德堡-纽约（2000）·Zbl 0988.68543号 [23] Dezani Ciancaglini，M.，Salvo，I.：移动安全环境的安全类型。收录于：亚洲'00年会议记录。LNCS 1961，第215-236页。Springer-Verlag，柏林-海德堡-纽约（2000）·Zbl 0988.68544号 [24] Feret，J.：基于抽象解释的移动环境静态分析。摘自：SAS’01会议记录。LNCS 2126，第412-430页。Springer-Verlag，柏林-海德堡-纽约（2001）·Zbl 0997.68508号 [25] 关，X.，杨，Y.，You，J.：使环境更加活跃。摘自：《国际软件会议论文集：理论与实践》，第377-384页（2000年） [26] Guan，X.，Yang，Y.，You，J.：键入不断变化的环境。通知。过程。莱特。80（5），265–270（2001）·Zbl 1003.68093号 ·doi:10.1016/S0020-0190（01）00172-7 [27] Hansen，R.R.，Jensen，J.G.，Nielson，F.，Niellson，H.R.：移动环境的抽象解释。收录：SAS’99会议记录。LNCS 1694，第135–148页。Springer-Verlag，Berlin Heildelberg New York（1999年）·Zbl 0957.68079号 [28] Levi，F.：在安全环境中发展通信的类型。收录：VMCAI’03会议记录。LNCS 2575，第102–115页。Springer-Verlag，柏林-海德堡-纽约（2003）·Zbl 1022.68077号 [29] Levi，F.，Bodei，C.：安全和装箱环境的控制流分析（扩展版）。可在网址：http://www.di.unipi.it/\（\sim\）levifran/papers.html·Zbl 1126.68503号 [30] Levi，F.，Bodei，C.：安全和装箱环境的控制流分析。摘自：2004年员工持股计划会议记录。LNCS 2986，第188-203页。Springer-Verlag，Berlin Heildelberg New York（2004年）·Zbl 1126.68503号 [31] Levi，F.，Maffeis，S.：分析移动环境的抽象解释框架。摘自：SAS’01会议记录。LNCS 2126，第395-411页。Springer Verlag，柏林Heildelberg纽约（2001）·Zbl 0997.68509号 [32] Levi，F.，Maffeis，S.：关于移动环境的抽象解释。通知。计算。188, 179–240 (2004) ·Zbl 1078.68096号 ·doi:10.1016/j.ic.2003.06.001 [33] Levi，F.，Sangiorgi，D.：控制环境中的干扰。摘自：《POPL'00会议录》，第352-364页。ACM，纽约（2000年）·Zbl 1323.68411号 [34] Levi，F.，Sangiorgi，D.：移动安全环境。TOPLAS 25（1），1-69（2003）·数字对象标识代码：10.1145/596980.596981 [35] Merro，M.，Hennessy，M.：安全环境中的双刺激一致性。收录：POPL'02会议记录。ACM，纽约（2002）·Zbl 1323.68412号 [36] Merro，M.，Sassone，V.：拳击环境中的打字和分型移动性。在：CONCUR’02会议记录中。LNCS 2421，第304–320页。Springer-Verlag，柏林-海德堡-纽约（2002）·Zbl 1012.68529号 [37] Milner，R.，Parrow，J.，Walker，D.：移动过程的微积分。通知。计算。100, 1–77 (1992) ·Zbl 0752.68036号 ·doi:10.1016/0890-5401（92）90008-4 [38] 美国内斯特曼：什么是“保护性选择的良好编码”？通知。计算。156, 287–319 (2000) ·Zbl 1046.68625号 ·doi:10.1006/inco.1999.2822 [39] Milner，R.，Sangiorgi，D.：倒钩相互模拟。收录：ICALP’92会议记录。LNCS 623，第685-695页。Springer-Verlag，柏林-海德堡-纽约（1992） [40] 尼尔森，H.R.，尼尔森，F.：移动环境的形状分析。摘自：《POPL'00会议录》，第135–148页。ACM，纽约（2000年）·Zbl 1323.68414号 [41] 尼尔森，F.，尼尔森，H.R.，汉森，R.R.：使用流逻辑验证防火墙。西奥。计算。科学。283（2），381–418（2002）·Zbl 1016.68003号 ·doi:10.1016/S0304-3975（01）00140-2 [42] 尼尔森，F.，尼尔森，H.R.，汉森，R.R.，詹森，J.G.：使用流逻辑验证防火墙。参见：CONCUR’99会议记录。LNCS 1664，第463-477页。Springer-Verlag，柏林-海德堡-纽约（1999）·Zbl 1016.68003号 [43] Palamidessi，C.：比较同步和异步计算的表达能力。摘自：《1997年POPL会议录》，第256-265页。ACM，纽约（1997） [44] Sangiorgi，D.，Walker，D.：pi-Calculus:移动过程理论。剑桥大学出版社，剑桥（2001）·兹伯利0981.68116 [45] Sangiorgi，D.，Valente，A.：用于安全环境的分布式抽象机器。摘自：第28届国际自动化、语言和编程学术讨论会论文集，7月8-12日，第408-420页（2001年）·Zbl 0986.68511号 [46] Teller，D.，Zimmer，P.，Hirschkoff，D.：使用环境来控制资源。在：CONCUR’02会议记录中。LNCS 2421，第288-303页。Springer-Verlag，柏林-海德堡-纽约（2002）·Zbl 1012.68530号 [47] Zimmer，P.：移动环境的子类型和类型算法。摘自：FoSSaCS'00会议记录。LNCS 1784，第375–390页。Springer-Verlag，柏林-海德堡-纽约（2000年）·Zbl 0961.68094号 [48] Zimmer，P.：关于纯粹环境的表现力。数学。结构。公司。科学。13, 721–770 (2003) ·Zbl 1260.68281号 ·doi:10.1017/S0960129503004079 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。