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

作     者：斯汉 温红子 雷浩 王建 

作者机构：中国科学院软件研究所信息安全技术工程研究中心 中国科学院研究生院北京100039 中国科学院研究生院 中国科学院软件研究所信息安全国家重点实验室北京100080 中国科学院计算机网络信息中心超级计算中心北京100080 

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

出 版 物：《软件学报》 (Journal of Software)

年 卷 期：2004年第15卷第8期

页      码：1124-1132页

摘      要：传统的计算机设计系统的安全监视功能存在日志数据冗余和异常线索检测时延过长等固有问题.由于安全监视功能的日志数据项主要是由系统实施的安全策略所决定,所以采用关系模式,通过形式地描述、分析著名的Clark-Wilson完整性策略,从而精确确定了与各条策略相关的最小日志项集,然后将其应用于基于Clark-Wilson完整性策略的形式化安全监视模型(CW-SMM).该模型不但可以有效解决Clark-Wilson安全策略适用系统的日志数据冗余问题,而且也可以彻底解决异常线索检测中的时延问题.

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

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.13328/j.cnki.jos.2004.08.003

馆 藏 号：203464924...