马修·轩尼诗；詹姆斯·里利 异步像素中的信息流与资源访问。（扩展摘要）。 （英语） Zbl 0973.68519号 Montanari，Ugo（编辑）等人，《自动化、语言和编程》。第27届国际学术讨论会，ICALP 2000，瑞士日内瓦，2000年7月9日至15日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。1853, 415-427 (2000). 摘要：我们提出了异步演算的扩展，其中可以使用类型捕获各种安全属性。这些是\（\pi\）演算的输入/输出类型的扩展，其中为I/O功能分配了特定的安全级别。我们定义了一个打字系统，它确保在安全级别运行的进程或无法访问安全级别高于\（\ sigma \）的资源。该系统所保证的访问控制概念是根据类型安全定理形式化的。然后，我们表明，对于某类流程，我们的系统禁止隐式信息从高级流程流向低级流程。我们证明，低级行为不会受到高级行为变化的影响。这被形式化为关于可能测试的无干扰定理。有关整个系列，请参见[兹比尔0941.00034]. 引用于12文件 MSC公司： 68页30 编码和信息理论（压缩、压缩、通信模型、编码方案等）（计算机科学方面） 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） PDF格式BibTeX公司 XML格式引用 \textit{M.Hennessy}和\textit{J.Riely}，莱克特。票据计算。科学。1853年、415--427年（2000年；Zbl 0973.68519）