| 引用本文: | 樊爱华,陈火旺,齐治昌.基于灰色时序的完整性规范技术.[J].国防科技大学学报,1998,20(4):65-69.[点击复制] |
| Fan Aihua,Chen Huowang,Qi Zhichang.The Integrity Specification Techniques Based on the Grey Temporal Ordering Theory[J].Journal of National University of Defense Technology,1998,20(4):65-69[点击复制] |
|
| |
|
|
| 本文已被：浏览 6473次 下载 6267次 |
| 基于灰色时序的完整性规范技术 |
| 樊爱华, 陈火旺, 齐治昌 |
|
(国防科技大学 计算机系 湖南 长沙 410073)
|
| 摘要: |
| 计算机系统的完整性安全策略模型与规范问题, 是计算机安全研究中最重要的课题之一。已有的研究结果离实际应用还相差太远, 例如Clark-Wilson完整性模型只是提出了一个框架。本文呈现了我们构造的形式化灰色时序安全策略规范语言(GTSL)。GTSL 的理论基础是灰色系统理论和时序规范语言LOTOS理论。由于它在完整性规范能力、完整性验证过程的构造与表示、责任分离合理性测试等一系列技术方面的完善与创新, 使得GTSL成为真正能够实际使用的完整性安全策略规范语言。 |
| 关键词: 安全策略, 完整性规范, 灰色系统, 时序规范 |
| DOI： |
| 投稿日期：1997-05-20 |
| 基金项目: |
|
| The Integrity Specification Techniques Based on the Grey Temporal Ordering Theory |
| Fan Aihua, Chen Huowang, Qi Zhichang |
|
(Department of Computer Science, NUDT, Changsha, 410073)
|
| Abstract: |
| 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. |
| Keywords: security policy, integrity, grey system, temporal specification |
|
|
|
|
|
