里卡多·福卡迪;罗伯托·卢奇;吉安路易吉·扎瓦塔罗 安全共享数据空间协调语言:过程代数调查。 (英语) Zbl 1103.68432号 科学。计算。程序。 63,第1期,3-15页(2006年). 摘要:共享数据空间协调语言提供了一种方法,可以对抽象出其内部行为的解耦实体之间的交互进行编程,它代表了一个强大的框架,用于在Internet上编程网络应用程序,并且通常在所涉及的实体未知的开放系统中编程。在这种情况下,如果程序可能在不受信任的环境中运行,那么就会出现新的挑战,例如提供支持安全性的方法。在本文中,我们概述了在此背景下出现的最重要的安全威胁,并在进程代数设置中对最有趣的共享数据空间协调语言进行了调查。 引用于2文件 MSC公司: 68甲15 编程语言理论 关键词:协调模型和语言;元组空间;安全 软件:克拉瓦 PDF格式BibTeX公司 XML格式引用 \textit{R.Focardi}等人,科学。计算。程序。63,第1号,第3--15号(2006;Zbl 1103.68432) 全文: 内政部