随着计算机技术的发展,计算机安全问题越发严重。安全操作系统对于这些安全问题的解决,具有举足轻重的作用。在安全操作系统的诸多子系统中,安全审计系统充当着最后一道防线的关键角色。 本研究课题是安胜OS 4.0研发中的一个子课题,主要取得了如下的几个方面的研究成果。 第一,在LSM访问控制框架的基础上,提出了扩展的LSM框架,并据此设计实现了达到GB17859-1999“结构化保护级”安全操作系统要求的安全审计系统。该审计系统跟踪了97种安全相关的审计事件,使系统安全达到了最大化。 第二,针对安胜OS 4.0发现的隐蔽通道,审计系统开发了隐蔽通道审计报警机制,对隐蔽通道起到了很好的检测作用。 第三,结合安胜OS 4.0的具体实现,对审计记录的筛选和安全审计系统自身保护进行了研究。可以通过多个角度对审计记录进行筛选;审计员的权限分为审计管理员和审计操作员;审计配置文件和曰志文件通过系统的安全策略得到了很好的保护。 第四,为了更好的容错性和支持计算机取证技术,在安胜OS 4.0审计系统的基础之上,对网络审计系统进行了一定研究。提出了网络审计系统的模型,并对该模型的实现进行了研究。 总之,本课题对安全审计系统的相关技术进行了研究。研究成果对于我们开发更高级别的安全审计系统将具有参考价值。