基于Clark-Wilson完整性策略的安全监视模型  

A Secure Monitoring Model Based on the Clark-Wilson Integrity Policies

作　　者：斯汉 温红子[1,2] 雷浩 王建[3,5] 

机构地区：[1]中国科学院软件研究所信息安全技术工程研究中心 [2]中国科学院研究生院,北京100039 [3]中国科学院研究生院 [4]中国科学院软件研究所信息安全国家重点实验室,北京100080 [5]中国科学院计算机网络信息中心超级计算中心,北京100080

出　　处：《软件学报》2004年第8期1124-1132,共9页Journal of Software

基　　金：国家自然科学基金;国家重点基础研究发展规划(973)~~

摘　　要：传统的计算机设计系统的安全监视功能存在日志数据冗余和异常线索检测时延过长等固有问题.由于安全监视功能的日志数据项主要是由系统实施的安全策略所决定,所以采用关系模式,通过形式地描述、分析著名的Clark-Wilson完整性策略,从而精确确定了与各条策略相关的最小日志项集,然后将其应用于基于Clark-Wilson完整性策略的形式化安全监视模型(CW-SMM).该模型不但可以有效解决Clark-Wilson安全策略适用系统的日志数据冗余问题,而且也可以彻底解决异常线索检测中的时延问题.The redundant data in log files and the delay for detecting abnormal trails are the inherent problems existing in the traditional secure monitoring subsystem of a computer system. In this paper, it is identified that the system security policies determine the logging data items in a secure monitoring function. By formally describing and analyzing the famous Clark-Wilson integrity policies with the corresponding relation patterns, the minimal logging data items set involved in these security policies is precisely determined. A formal secure monitoring model based on Clark-Wilson integrity policies (CW-SMM) is proposed. The CW-SMM has the characteristics of both minimal logging data and auto-detecting of the system abnormal trails in time, and can thoroughly solve the problems mentioned above.

关 键 词：Clark-Wilson完整性策略 关系模式 安全监视 日志审计 

分 类 号：TP316[自动化与计算机技术—计算机软件与理论]