多安全策略集成性问题的分析与解决

解决多安全策略的集成性问题是安全操作系统支持多策略和动态策略的基础。本论文采用形式化的方法为安全系统建立了全局安全状态的迁移模型,以TE和RBAC策略为例分析了不同策略作用下安全关联行为对安全状态的影响,并根据T&R集成模型提出了解决多策略集成性和一致性问题的思想,为安全操作系统的实现奠定了基础。

一种综合安全审计系统模型的研究

在研究分析当前计算机安全审计系统的基础上,提出一种包含基于主机审计和网络审计的安全审计系统模型,涵盖了信息采集、信息处理和系统响应三个阶段,适用于传统的集中式审计系统和分布式审计系统。进一步研究模型中的单步和多步安全行为审计的方法,并提出一种多步安全行为关联的方法。分析了所提出的系统模型的有效性,并且通过实验证明了本文模型中多步安全行为关联方法的准确性和完备性。