基于行为和状态的多角度系统审核研究  

Research on Multi-angle System Audit based on Behavior and State

作　　者：林植[1] 刘德祥[1] 李云山[1] 靳焰[1] 

机构地区：[1]国防信息学院,湖北武汉430010

出　　处：《智能计算机与应用》2012年第1期43-44,47,共3页Intelligent Computer and Applications

基　　金：国家973重点基础研究发展项目(2011CB302301);国防信息学院重点预研项目(TXZH20110501)

摘　　要：审核是系统安全的关键技术之一。从系统安全性的角度分析对行为的状态实施审核的必要性,为多角度系统审核提供了理论依据,扩大了系统审核对象范围;制定针对不同对象的审核策略描述形式,为审核技术的研究与设计提供了系统的理论分析工具;最后给出了系统实现。Audit is a key technology of system security. In view of system security, the paper analyses the necessity of behavior audit, state audit and state transition audit, and gets the theory witness for multi-angle audit, which extends the scale of audit object. Furthermore, a formal description for audit policy is also defined, which provides an analysis tool for audit research. At last, the paper provides an example of the audit method, which proves that it is proper.

关 键 词：行为审核 状态审核 多角度 审核策略 描述形式 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]