【摘 要】
:
随着信息技术的发展及信息系统在社会生活各领域日益广泛且深入的应用,信息安全成为信息技术研究当中不可或缺的一部分,并越来越显示出它的重要性。操作系统的安全是整个信息
论文部分内容阅读
随着信息技术的发展及信息系统在社会生活各领域日益广泛且深入的应用,信息安全成为信息技术研究当中不可或缺的一部分,并越来越显示出它的重要性。操作系统的安全是整个信息系统安全的基础,而系统调用作为操作系统用户空间与内核空间的惟一接口,它们的安全又是操作系统安全的前提。如何对数量众多的系统调用进行高效、充分的安全测试,是确保操作系统安全可靠的关键。软件测试自动化可以缩短软件测试周期、节省人力资源、增强测试的稳定性和可靠性、增加软件的信任度等。本文针对Linux操作系统,通过分析其系统调用机制和内核安全机制,讨论了Linux系统调用安全测试自动化的可行性,给出了系统调用安全自动化测试的基本方案。鉴于Linux系统调用数量众多的情况,本文就系统调用的安全性、不同系统调用之间的安全测试次序的确定原则进行了初步的探讨,据此给出了部分系统调用安全测试次序的分析结果,并在本文的测试过程中加以应用。然后,本文基于Fedora 9及Linux内核2.6.25-14.fc9.i686设计并实现了一个系统调用安全测试自动化原型系统,由主控模块、测试用辅助对象创建模块、标准测试模块、特殊测试模块和测试配置库构成。具体而言,该原型系统使用主控模块进行测试控制,并把系统调用的测试内容分为标准测试和特殊测试两部分,分别通过标准测试模块和特殊测试模块来完成相关部分的测试工作。除了一些通用全局变量的设置,其余针对具体系统调用的测试环境准备及参数配置的工作由测试用辅助对象创建模块和测试配置库共同完成。本文还就creat、access、chmod、chown、mkdir等系统调用的安全测试用例的详细设计及原型测试结果进行了初步的讨论和分析。最后,本文就整个课题的研究方法和研究内容进行了总结,并给出了后续的工作建议及研究展望。
其他文献
随着网络技术和网络应用的不断发展,网络安全问题已经成为日常关注的焦点。如今传统的网络安全手段很难对付各种各样的网络攻击,入侵检测系统作为网络安全体系的重要组成部分
语音信号一直是人类进行信息交流的最普通的方式。然而,语音信号会不可避免地受到来自周围环境的干扰。因此,需要对混入干扰信号的语音信号做增强处理。寻求一种有效的算法以
UPFC是一种潮流控制的装置。它综合了许多柔性交流输电系统(FACTS)器件的灵活控制手段,是一种功能相对很强的FACTS系列器件。随着半导体制造技术和电子设计自动化技术的不断发展,UPFC控制系统设计也加快了步伐。本文首先对国内外对UPFC的现状及其控制算法进行了研究,针对目前输电系统存在的损耗大、传输率低的问题,采用开关损耗最小PWM算法进行UPFC控制系统的设计。然后,在给出UPFC逆变控制
随着程序设计竞赛领域内的许多研究,包括在线竞赛平台的开发和竞赛选手训练辅助系统的研究等等,这样一些需求或设想被提了出来,它们都希望机器可以自动化地处理程序设计试题
近年来,随着生物信息学、电子商务等行业的迅速发展,在这些领域积累了大量高维数据,利用数据挖掘技术能够在这些数据中找到许多对科学研究和市场营销起到重要作用的有价值的
当前,网络安全形势的日益严峻,而防火墙作为一种被动的防御工具有其自身的缺点,作为防火墙的重要补充的入侵检测系统越来越受到人们的关注。由于病毒对生物体所构成的威胁情
随着乌鲁木齐电网的发展,各类工业电器及电力电子器件的应用日益广泛。近年来尤其是钢铁企业炼钢电弧炉及轧机容量的增大,使得各种非线性负荷注入电网的谐波越来越多。谐波对电
随着在航空器和发动机上所用的机载系统和设备对软件的使用迅速增加,为满足适航性要求,航空无线电技术委员会(RTCA)制定了DO-178B标准。虽然DO-178B在国内民航领域越来越受重视
模型库是利用规范的形式存储模型以及相关信息的场所。模型库提供模型的定义、特征信息及模型代码,是模型元素的集合。本文首先对仿真模型库的概念和结构进行总结分析,通过对
数字化技术的发展和成熟,使越来越多的数字作品通过Internet进行传播,它们可以低成本、高速度地被复制和传播,但这些特性也容易被盗版者所利用,使得网络信息安全隐患正全方位