论文部分内容阅读
设计安全策略模型时应考虑安全策略的时序特性和灰色特性，还应综合考虑保密性、完整性和可用性三方面的需求。已有的安全模型没有描述时序性和灰色特性，而且一般只侧重描述保密性和完整性。为此，本文提出了动态灰色时序系统（简称ＤＧＴＳ）。本文详细描述了ＤＧＴＳ，以及基于ＤＧＴＳ的动态语义设计的灰色时序安全策略规范语言ＧＴＧＬ。