×

安全共享数据空间协调语言:过程代数调查。 (英语) Zbl 1103.68432号

摘要:共享数据空间协调语言提供了一种方法,可以对抽象出其内部行为的解耦实体之间的交互进行编程,它代表了一个强大的框架,用于在Internet上编程网络应用程序,并且通常在所涉及的实体未知的开放系统中编程。在这种情况下,程序可能在不受信任的环境中运行,新的挑战开始发挥作用,例如提供一种支持安全性的方法。在本文中,我们概述了在此背景下出现的最重要的安全威胁,并在进程代数设置中对最有趣的共享数据空间协调语言进行了调查。

MSC公司:

68甲15 编程语言理论

软件:

克拉瓦
PDF格式BibTeX公司 XML格式引用
全文: 内政部