罗伯托·戈里埃里;罗伯托·卢奇;吉安路易吉·扎瓦塔罗 支持SecSpaces中的安全协调。 (英语) Zbl 1114.68024号 芬丹。通知。 73,第4期,479-506(2006). 摘要:我们调查了在开放环境中开发类似Linda的数据驱动协调模型时出现的安全问题。在这种情况下,不能保证访问共享元组空间的所有代理都是可信的。从标准Linda协调模型中一些典型安全属性的形式化出发,我们提出了一种新的数据驱动协调模型,该模型提供了支持所考虑的安全属性的机制。第一种机制支持共享存储库的逻辑分区:通过这种方式,我们可以限制对存储在分区内的元组的访问,只需限制对分区本身的访问。第二种机制包括向元组添加一些额外的信息,这些信息允许对元组的生产者进行身份验证或识别其读者/消费者。最后,我们支持根据代理对元组执行的操作类型定义访问控制策略的可能性,从而区分每个元组的(破坏性)输入和(非破坏性)读取权限。 引用于2文件 MSC公司: 68甲15 编程语言理论 68M10个 计算机系统中的网络设计与通信 68第25页 数据加密(计算机科学方面) PDF格式BibTeX公司 XML格式引用 \textit{R.Gorrieri}等人,Fundam。通知。73,第4号,479--506(2006;Zbl 1114.68024)