×
卢卡·卡德利;乔治·盖利;安德鲁·戈登。

保密和创建组。 （英语） Zbl 1101.68692号

Inf.计算。 196，第2期，127-155（2005）.
摘要：我们将组创建操作添加到typed\（\pi\）-演算中，其中组是通道的类型。创建新组具有静态阻止某些通信的效果，可以阻止意外或恶意泄漏机密。直观地说，组初始范围之外的进程无法接收属于新组的任何通道，即使这些进程没有类型化。我们通过改编阿巴迪（Abadi）提出的保密概念，并证明保密属性的保存，将这种直觉形式化。

引用于1审查
引用于三文件

MSC公司：

第68季度85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
68M10个 计算机系统中的网络设计和通信

关键词：

\（\pi\）-微积分;保密;安全类型
PDF格式BibTeX公司 XML格式引用
\textit{L.Cardelli}等人，《信息计算》。196，第2号，127--155（2005；Zbl 1101.68692）
全文： 内政部

参考文献：

[1] Abadi，M.，通过键入安全协议进行保密，J.ACM，46，5，749-786（1999）·Zbl 1064.94542号
[2] M.Abadi，《安全协议和规范》，摘自：《软件科学和计算结构基础》（FOSSACS’99），计算机科学讲义第1578卷，柏林斯普林格，1999年，第1-13页；M.Abadi，《安全协议和规范》，摘自：《软件科学和计算结构基础》（FOSSACS’99），计算机科学讲义第1578卷，柏林斯普林格，1999年，第1-13页
[3] M.阿巴迪。；Blanchet，B.，《非对称通信的保密类型》，Theoret。计算。科学。，298, 3, 387-415 (2003) ·Zbl 1038.68081号
[4] M.阿巴迪。；Gordon，A.D.，《密码协议演算：spi演算》，Inform。计算。，148, 1-70 (1999) ·Zbl 0924.68073号
[5] C.Bodei，P.Degano，F.Nielson，H.Riis Nielson，针对\（π\）的控制流分析；C.Bodei、P.Degano、F.Nielson、H.Riis Nielson，《π控制流分析》·Zbl 1007.68118号
[6] L.Cardelli、G.Ghelli、A.D.Gordon，《保密与群组创建》，收录于：C.Palamidessi（Ed.），CONCUR 2000-一致性理论，第1877卷《计算机科学讲义》，柏林斯普林格，2000年，第365-379页；L.Cardelli、G.Ghelli、A.D.Gordon，《保密与群组创建》，收录于：C.Palamidessi（Ed.），CONCUR 2000-一致性理论，计算机科学讲义第1877卷，柏林斯普林格，2000年，第365-379页·Zbl 0999.68148号
[7] Cardelli，L。；Ghelli，G。；Gordon，A.D.，环境演算类型，Inform。计算。，177160-194（2002年）·Zbl 1093.68060号
[8] Dal Zilio，S。；Gordon，A.D.，《区域分析和群的π演算》，J.Funct。程序。，12, 3, 229-292 (2002) ·Zbl 1005.68041号
[9] Denning，D.，安全信息流的格子模型，Commun。ACM，19236-242（1976年）·Zbl 0322.68034号
[10] 多列夫，D。；Yao，A.C.，《关于公钥协议的安全性》，IEEE Trans。通知。理论，IC-29，12，198-208（1983）·Zbl 0502.94005号
[11] Gabbay，M.J。；Pitts，A.M.，《使用变量绑定实现抽象语法的新方法》，《形式方面计算》。，13, 341-363 (2002) ·兹比尔1001.68083
[12] S.J.Gay，《多元像素的排序推理算法》，载于：第20届ACM程序设计语言原理研讨会（POPL'93），1993年；S.J.Gay，《多元像素的排序推理算法》，载于：第20届ACM编程语言原理研讨会（POPL'93），1993年
[13] R.Milner，《多元论》（π）；R.Milner，《多元论》（π）
[14] Milner，R.，《通信和移动系统：（π）-微积分》（1999），剑桥大学出版社：剑桥大学出版社·Zbl 0942.68002号
[15] M.Odersky，《极化传名》，载于：《软件技术和理论计算机科学基础》，计算机科学讲稿第1026卷，柏林斯普林格，1995年；M.Odersky，《极化传名：软件技术和理论计算机科学基础》，计算机科学讲稿第1026卷，柏林斯普林格，1995年·Zbl 1354.68201号
[16] 皮尔斯，B。；Sangiorgi，D.，移动进程的类型和子类型，数学。结构。计算。科学。，6, 5, 409-454 (1996) ·Zbl 0861.68030号
[17] J.Riely，M.Hennessy，分布式移动进程的类型化语言，载于：第25届ACM编程语言原理研讨会（POPL'98），1998年，第378-390页；J.Riely，M.Hennessy，分布式移动进程的类型化语言，载于：第25届ACM编程语言原理研讨会（POPL'98），1998年，第378-390页
[18] Sangiorgi，D。；Walker，D.，《（π）-微积分：移动过程理论》（2001），剑桥大学出版社：剑桥大学出版社·Zbl 0981.68116号
[19] P.Sewell，分布式（π）的全局/局部子类型和能力推断；P.Sewell，分布式（π）的全局/局部子类型和能力推断·Zbl 0910.03021号
[20] 托夫特，M。；Talpin，J.-P.，基于区域的内存管理，Inform。计算。，132, 2, 109-176 (1997) ·Zbl 0876.68027号
[21] V.T.Vasconselos，K.Honda，《多元论中的主要类型模式》（π）；V.T.Vasconselos，K.Honda，《多元论中的主要类型模式》
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。