动态灰色时序系统DGTS及其在安全策略规范中的应用

A Dynamic Grey Temporal System(DGTS) and Its Application to the Security Policy Specification

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

The temporal property and the grey property should be taken into account while designing security policy models;and the three aspects of security requirements of privacy. integrity,and availability of the system should be described in a policy.The Existing security policy models can not describe the temporal and the grey property,and they usually focused only on privacy or integrity.A dynamic grey temporal system(DGTS)and a grey temporal security policy specification Ianguage(GTSL)based on the dynamic semantics of DGTS are presented in this paper.