一种具有时间约束的安全数据驱动协调模型

摘要：研究在开放环境下利用Linda-like数据驱动协调模型所带来的安全问题。为了对数据协调空间的安全进行控制，提出了一种具有时间约束的安全协调模型。此协调模型通过对元组数据增加特定信息，并运用混合密钥机制实现对协调元组空间的安全访问控制。关键词：访问控制协调混合密钥    协调模型提供了一种描述软件实体之间的交互框架。目前开放系统中的协调技术主要考虑如何促使软件实体之间能够顺利地进行交互。但事实上，在开放系统下不能保证每个软件实体都是可信的，基于系统安全方面的考虑，必须要有一定的安全访问控制机制来限制软件实体之间的交互。    目前仅有KLAIM和SecSOS协调语言提供了一定的安全访问控