程序的语义远程认证研究

来源 :太原理工大学 | 被引量 : 0次 | 上传用户:adream_T
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
近年来,计算机网络和电子商务的快速发展极大的改变了人们的生活方式,这些技术在使人们的生活变得日益方便、快捷的同时,也给人们的隐私信息带来了前所未有的威胁。如何保证企业和用户信息的机密性、完整性、真实性,提供一个可信赖的计算环境成为人们日益关注的焦点。传统的计算机安全思想只是通过在计算机与外界网络之间增加一些安全层次,如口令、加密、防火墙、反病毒、IDS(Intrusion Detection System,入侵检测系统)等一系列措施,但这些安全措施都属于被动的解决方案,反病毒、IDS等措施更是无法检测出新型的病毒和攻击,而且这些解决方案的正确运行是建立在它们的下层系统,尤其是操作系统是安全的前提下。目前计算平台存在的一些安全问题很多都是由于其自身体系结构的安全薄弱性造成的。可信计算通过在软件和硬件上增加一些组件来增加计算机系统的可信赖性。可信计算技术在可信计算平台内部植入了一个可信硬件设备作为可信根,通过可信根所具有的生成和保护密钥的能力来建立一条信任链,一级认证一级,一级信任一级,从而把信任关系扩展到整个计算机系统,以确保计算机系统和终端用户的可信。远程认证技术提供了一种对终端平台运行环境、配置进行可信评估的手段。远程认证技术对远端用户身份的认证几乎无懈可击,但是对程序进行认证的实质是一种基于二进制的完整性验证,也就是说这种对程序的认证方式只能确认远端实体正在运行什么样的程序,而不能确定远端运行的程序行为是否正常。软件生产厂商声明他们所生产的程序是安全的,远程认证对程序行为安全性的保证也完全建立在对这个声明信任的基础上。所以说远程认证对程序的认证是基于信任的,而不是基于行为的。为了弥补远程认证不基于行为的缺点,本文用程序在Linux系统下正常运行所产生的系统调用序列来构建程序的正常行为模式库,通过将程序实际运行时产生的系统调用序列与事先建立的模式库进行匹配来判断程序的行为是否正常。将待检测序列与模式库进行匹配时,考虑了各个短序列在模式库中出现的概率因素,将短序列在模式库中出现的概率作为此短序列的权值。为了使结果更直观,用相对匹配度来衡量待检测序列与模式库的差别程度。这种认证是动态的、非一次性的,可以作为远程认证的一个补充,以弥补远程认证不基于行为、静态、一次性的缺点。
其他文献
随着地面自主机器人的发展,地面自主机器人的测试评估系统得到了愈来愈广泛的研究。测试评估系统研究如何通过定性和定量的方法对地面自主机器人进行客观准确的性能测试和科
随着传感器技术、计算机技术和信息技术的飞速发展,图像融合技术已经成为图像理解、计算机视觉等领域的一个研究热点,在军事、遥感、自动目标识别、计算机视觉和医学图像处理等领域取得了广泛的应用。本文以高分辨率全色图像(PAN)和低分辨率多光谱图像(MS)的融合为研究对象,并以小波变换、Contourlet变换和非下采样Contourlet变换(NSCT)等多分辨率分析理论为基础,围绕遥感图像融合中存在的突
随着城市建设的不断发展,城市道路状况作为城市文明和现代化程度的重要标志,受到越来越多的关注,道路状况的好坏关系到每一位市民出行的便利和交通的安全。因此,研发一套稳定
学位
随着互联网技术的不断发展和应用范围的不断扩大,信息安全越来越成为政府,企业和个人所关注的焦点。近年来,以病毒、蠕虫、木马、后门和rootkit等为主要形式的恶意程序正成为
本文针对传统的高校教务管理系统普遍存在柔性不足,无法及时应对需求变化和业务流程变更等问题,寻找对策与解决方案,主要研究内容如下:   ⑴针对当前高校教务管理业务涉及部门
随着当今社会的快速发展,语音合成技术已经渗透到了社会生活中的各个方面。为了使合成语音的自然度能够进一步提高,本文研究了在语音合成技术中占据重要地位的韵律结构预测问
学位
随着信息时代的到来,互联网上的信息呈现爆炸式增长,人们开始面临信息过载问题,找到自己需要的信息开始变得具有挑战性。信息过滤技术应运而生,信息过滤技术旨在为用户过滤掉
传统的PC桌面一直面临着成本高、能耗大、管理难、软件部署升级麻烦等诸多问题。随着云计算技术的迅速发展与广泛应用,云桌面技术作为云计算技术的一种分支,开始被用来解决这
在Internet日益孕育新应用和新技术的同时,交互实体问的生疏性以及共享资源的敏感性成为跨安全域信任建立的屏障。因此怎样在两个无信任关系的实体间建立信任关系,是当今研究
近些年来随着无线通信技术的进步,无线传感器网络(WirelessSensorNetwork,WSN)的应用前景越来越广阔,其中路由协议是WSN的一个关键支撑技术,如何做到数据转发的高效节能始终
学位