首页> 中文期刊> 《软件学报》 >基于Clark-Wilson完整性策略的安全监视模型

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

         

摘要

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

著录项

  • 来源
    《软件学报》 |2004年第8期|1124-1132|共9页
  • 作者单位

    中国科学院;

    软件研究所;

    信息安全技术工程研究中心;

    北京;

    100080;

    中国科学院;

    研究生院;

    北京;

    100039;

    中国科学院;

    软件研究所;

    信息安全技术工程研究中心;

    北京;

    100080;

    中国科学院;

    研究生院;

    北京;

    100039;

    中国科学院;

    研究生院;

    北京;

    100039;

    中国科学院;

    软件研究所;

    信息安全国家重点实验室;

    北京;

    100080;

    中国科学院;

    研究生院;

    北京;

    100039;

    中国科学院;

    计算机网络信息中心;

    超级计算中心;

    北京;

    100080;

  • 原文格式 PDF
  • 正文语种 chi
  • 中图分类 操作系统;
  • 关键词

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

相似文献

  • 中文文献
  • 外文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号