安全操作系统研究的发展（下）

6 动态政策时期从单一政策支持到多种政策支持,安全操作系统迈出了向实际应用环境接近的可喜一步。然而,R.Spencer等指出,从支持多种安全政策到支持政策灵活性,还有相当一段距离。政策灵活性是动态政策时期的重要特征,1999年,Flask系统的诞生是动态政策时期的帷幕徐徐打开的标志。 6.1 基于Fluke的Flask安全操作系统 Flask是以Fluke操作系统为基础开发的安全操作系统原型。Fluke是一个基于微内核的操作系统,它提供一个基于递归虚拟机思想的、利用权能系统的基本机制实现的体系结构。     

智能卡操作系统的测试技术

智能卡操作系统是智能卡能够支持复杂且安全的应用的基础,目前智能卡操作系统的测试并没有形成成熟的模式。为了在智能卡操作系统的开发中能够对操作系统进行全面并充分的测试,根据智能卡操作系统的体系结构特点、状态转移过程和通信方式,结合软件测试中的理论方法及测试技术,从基本功能、防拔插及耐久性三方面对智能卡操作系统的测试进行研究,给出了智能卡操作系统的测试方案。在EVDO卡的测试中表明,该测试方案是可行的。     

UNIX的发展动向

本文从UNIX的版本演变、标准化进展、新一代UNIX的技术特点、国内对UNIX的研究开发现状四个方面综述了至1991年底UNIX的最新发展。指出一个以UNIX为基础的操作系统标准化时期已经到来。     

SELinux系统中可扩展强制访问控制的实现

SELinux系统是安全操作系统研究的一个重要研究成果,它为安全操作系统的研究与开发提供了新概念.本文介绍了SELinux系统中可扩展的强制访问控制的实现.     

系统主机安全指导原则

信息技术的发展伴随着安全问题的产生,UNIX和Windows作为目前世界上最流行的操作系统平台,它们的安全性更是备受重视,系统主机的安全始终是信息网络安全的一个重要方面。本文有针对性对UNIX和Windows2000这两种操作系统提出系统主机安全指导原则,力图从技术层面全面增强系统主机安全。     

五种杰出的LAN操作系统的特点介绍和比较

本文从用户使用的角度对目前杰出的五种LAN操作系统的特点进行了逐一介绍,并将它们在软件、硬件、存贮器使用、资源共享、保密性、网络管理和工作站特性等十五个方面进行了比较,以使读者对目前的LAN产品有个较全面的认识。对用户选择LAN操作系统提供比较材料和具体建议,也为估计LAN操作系统的发展方向提供参考素材。     

智能卡多应用操作系统的发展趋势及研究

通过对智能卡多应用操作系统及其发展历史的分析,结合当前的技术进步与市场需求,对智能卡多应用操作系统的发展趋势进行了研究。在多应用管理模式、文件系统、通用安全机制和应用开发框架等多个方面进行了前瞻性的探讨,并提出了相应的解决方案。该研究成果已在实验室环境下得到验证,具有可借鉴性。     

基于安全操作系统的安全保障分析

有关安全操作系统在安全领域中应用的介绍很少，本文以我们开发的一种安全操作系统的实际应用为例，较全面的对安全操作系统的应用加以分析．其阃给出了各类安全软件在整个信息系统内部的层次关系．文中所提到的应用及框架结构在一个基于Linux的安全操作系统(RFSOS)上均得以实现．     

安全Linux内核安全功能的设计与实现

CC标准是一个新的国际标准,由于缺乏可借鉴的范例,开发符合CC标准 的安全操作系统是一项挑战性的工作。借助一项研究实验结合中国安全保护等级划分准则等3条款,讨论了安全Linux内核安全功能在CC框架下的设计与实现问题,通过CC功能需求组件给出安全功能的定义,从系统结构和安全模型方面讨论安全功能的实现方法,并测算安全机制产生的性能负面影响。研究表明,中国国家标准的要求可以通过CC标准进行描述。最后,还指出了安全操作系统进一步的研究方向。     

环境适应的通用多安全政策支持框架研究

在当今复杂多变的安全环境中，信息系统需要实施灵活完善的安全政策，在开发RFSOS安全操作系统和研究FLASK，DTOS安全体系结构的基础上，提出能适应环境变化的多安全政策支持框架－－Guards，在RFSOS中实现原型，衣据9个评价准则与FLASK进行了对比。