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

林植 刘德祥 李云山 靳焰

摘要：审核是系统安全的关键技术之一。从系统安全性的角度分析对行为的状态实施审核的必要性，为多角度系统审核提供了理论依据，扩大了系统审核对象范围；制定针对不同对象的审核策略描述形式，为审核技术的研究与设计提供了系统的理论分析工具：最后给出了系统实现。