| 基于灰色时序的完整性规范技术 |
| |
| 引用本文： | 樊爱华,陈火旺,齐治昌.基于灰色时序的完整性规范技术[J].国防科技大学学报,1998,20(4):65-69. |
| |
| 作者姓名： | 樊爱华 陈火旺 齐治昌 |
| |
| 作者单位： | 国防科技大学计算机系 |
| |
| 摘 要： | 计算机系统的完整性安全策略模型与规范问题，是计算机安全研究中最重要的课题之一。已有的研究结果离实际应用还相差太远，例如Ｃｌａｒｋ－Ｗｉｌｓｏｎ完整性模型只是提出了一个框架。本文呈现了我们构造的形式化灰色时序安全策略规范语言（ＧＴＳＬ）。ＧＴＳＬ的理论基础是灰色系统理论和时序规范语言ＬＯ－ＴＯＳ理论。由于它在完整性规范能力、完整性验证过程的构造与表示、责任分离合理性测试等一系列技术方面的完善与创新，使得ＧＴＳＬ成为真正能够实际使用的完整性安全策略规范语言。
|
| 关 键 词： | 安全策略，完整性规范，灰色系统，时序规范 |
| 收稿时间： | 1997/5/20 0:00:00 |
The Integrity Specification Techniques Based on the Grey Temporal Ordering Theory |
| |
| Fan Aihu,Chen Huowang and 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. |
| |
| Authors: | Fan Aihu Chen Huowang and Qi Zhichang |
| |
| Affiliation: | Department of Computer Science, NUDT, Changsha, 410073;Department of Computer Science, NUDT, Changsha, 410073;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 |
| 本文献已被 CNKI 等数据库收录！ |
| 点击此处可从《国防科技大学学报》浏览原始摘要信息 |
|
点击此处可从《国防科技大学学报》下载全文 |
|
