【摘 要】
：
操作系统安全是计算机信息安全中最基本、最重要的因素,它直接影响应用软件和网络系统的安全.而如何测试和评估一个操作系统是否安全、如何确定一个操作系统的安全程度和安全
【出 处】
：
航天工业总公司第二研究院 航天科工集团第二研究院
论文部分内容阅读
操作系统安全是计算机信息安全中最基本、最重要的因素,它直接影响应用软件和网络系统的安全.而如何测试和评估一个操作系统是否安全、如何确定一个操作系统的安全程度和安全等级,更是操作系统安全工作中必不可少的一个重要环节.目前在中国计算机安全领域,对操作系统的安全测试,都还只是停留在经验性的安全功能测试的层次上,没有一套比较严格、比较完整的测试方法和测试用例.该文在分析和研究国内外安全评估和测试方法的基础上,对操作系统的访问控制安全测试方法和隐蔽信道分析进行了重点研究和探索,提出了一些新的看法和见解.访问控制安全测试方法:该文从访问控制机制的设计和实现原理出发,分析访问控制机制的各个构成要素及其在访问控制机制安全中所发挥的作用,提出了访问控制安全判别准则.然后的此基础上,导出访问控制机制的安全测试和验证方法.隐蔽存储信道的分析和测试:该文结合目前国内安全改造的现状,以源代码信息流分析结果为依据,确定共享变量在程序函数中的可更改性和可观测性,找出可能的隐蔽存储信道发送方和接收方,为最后隐蔽存储信道的确定和带宽的测量奠定基础.
其他文献
Internet是世界是规模最大、用户最多、影响最广的计算机互联网络.许多组织把他们的联网(Interanet)与Internet相连,使这能够享受全球服务.但是,随着Internet和Intranet的普
国际互联网协会推出了可扩展标记语言XML作为互联网上的一种重要的数据表示和交换标准之一，在电子商务、远程教育、数字图书馆等诸多领域有着十分广泛的应用。XML的模式设计是
该论文围绕着网络系统中如何解决数据的一致性问题,研究和分析了数据的同步更新策略和数据库复制技术的实现方法及步骤,并以航天部十七所研制的演示系统软件为对象,讨论了数
该文介绍了数字程控交换机DK200中模拟内线板和模拟外线板的硬件设计和软件开发.模拟内线板的硬件设计侧重于原理图介绍,包括如何实现用户电路和控制电路的功能;软件设计包括
该文简要介绍了"基于功能表面分解重构原理的机械产品设计自动化系统"的基本原理和步骤,重点介绍了零件重构部分.该课题在零件重构阶段设计了基于特征分解和重组的构造方法和
存储访问的二义性相关性是提高超标量处理器指令级并行度的一个重要障碍.许多文章试图通过静态消除存储地址二义性,以及混合型运行时间消除二义性的方法.这些方法要求复杂的
视频点播系统(VOD)是用户通过网络点播视频服务器中视频节目的一种新型交经式多媒体应用.VOD在新闻播送、教育、金融、信息索引、电子商务等方面得到了广泛应用,使CATV网、LA
随着科学技术的发展,计算机软硬件技术获得了长足的进步,计算机已经成为输入/输出、存储、传输和处理多媒体信息的关键部分.该项目正是以超媒体技术和网络通信技术作为基础,
第一章首先介绍了Internet的产生和发展过程,然后阐述了其核心技术,最后列举了Internet上的一些最新应用成果.第二章先介绍了Intranet向年来的发展.然后分析了Intranet特征,
该文设计了一个正面有脸识别系统,其主要由三个部分组成:预处理、特征提取和识别.