×

兹马思-数学第一资源

保密和组创建。(英语) Zbl 0999.68148
Palamidessi,Catuscia(编辑),CONCUR 2000-并发理论。第11届国际会议,美国宾夕法尼亚州大学园,2000年8月22日至25日。诉讼程序。柏林:斯普林格。选择。笔记计算。科学。1877365-379(2000年)。
摘要:我们在类型化\(\pi\)-演算中添加了组创建操作,其中组是通道的类型。创建新组具有静态阻止某些通信的效果,并且可以阻止意外或恶意泄漏机密。直观地说,属于新组的任何通道都不能被组的初始作用域之外的进程接收,即使这些进程是非类型化的。我们通过采用阿巴迪引入的保密概念,并证明了保密性的保留,从而使这种直觉形式化。
整个系列请参见[Zbl 0944.00069].

理学硕士:
6885年 并行和分布式计算的模型和方法(过程代数、互模拟、转移网等)
PDF格式 BibTeX公司 XML 引用