基于灰色时序的完整性规范技术  

The Integrity Specification Techniques Based on the Grey Temporal Ordering Theory

作　　者：樊爱华[1] 陈火旺[1] 齐治昌[1] 

机构地区：[1]国防科技大学计算机系

出　　处：《国防科技大学学报》1998年第4期65-69,共5页Journal of National University of Defense Technology

摘　　要：计算机系统的完整性安全策略模型与规范问题，是计算机安全研究中最重要的课题之一。已有的研究结果离实际应用还相差太远，例如Ｃｌａｒｋ－Ｗｉｌｓｏｎ完整性模型只是提出了一个框架。本文呈现了我们构造的形式化灰色时序安全策略规范语言（ＧＴＳＬ）。ＧＴＳＬ的理论基础是灰色系统理论和时序规范语言ＬＯ－ＴＯＳ理论。由于它在完整性规范能力、完整性验证过程的构造与表示、责任分离合理性测试等一系列技术方面的完善与创新，使得ＧＴＳＬ成为真正能够实际使用的完整性安全策略规范语言。The formal grey temporal security policy specification language(GTSL)which is designed by us is presented in this paper.The theory basis of GTSL is the theory of grey system and that of LOTOS,the language of temporal ordering specification.Due to the improvement and originality of techniques on the ability of integrity specification,the building and expression of the procedure of integrity verification,the testing of resonability on separation of duty,etc.,GTSL becomes practical specification languages for integrity security policy.

关 键 词：安全策略 完整性规范 灰色系统 计算机 保密性 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]