伴随计算机与网络技术的普及应用,信息安全已提升到国家安全关键组成部分和关系国家兴亡与国计民生的重要地位。安全操作系统是整个信息系统安全的基础。也正因如此,安全操作系统已成为计算机领域的研究热点之一。另一方面,目前国内外对于安全操作系统的测试还主要是依靠手工方式,这种方式测试周期长、主观因素影响较大并且过于依赖于操作人员的经验,因此迫切需要进行安全测试的自动化的研究。本文围绕最小特权的理论和实现,以一个实际的安全加强系统和自动测试系统的开发实践为基础,对安全操作系统的开发和自动测试过程中的若干关键技术进行了研究。首先,在分析已有的安全模型和特权传递模型及实现方案的基础上,探讨了实现特权传递模型的要点,提出了一个基于进程/状态的特权传递方案。其次,在分析现有系统在特权分配的现状和需求的基础上,提出了一个基于签名技术的交叉授权方案。再次,分析和探讨了安全操作系统的实现方法,并基于LKM技术设计并实现了所设计特权传递方案和交叉授权方案。最后,分析和探讨了安全操作系统的自动测试的方法,设计并实现了针对所开发的最小特权加强系统的安全测试自动化。本文及其设计开发工作围绕最小特权及其测试展开,为安全操作系统的全面设计、开发和测试自动化工作提供了技术和经验。