【摘 要】
:
现有的复杂网络计算环境中安全问题日益严峻,使人们对于可信计算环境的需求非常急迫。可信证明技术是可信计算中非常重要的特性,为解决计算平台可信问题提供了新的研究方向。但是,现有的可信证明方法存在证据获取不及时、缺乏对于证明方的隐私保护以及证明方法自身安全性等问题,针对这些问题本文提供一种基于安全虚拟机内省的动态可信证明方法。首先,利用确定下推自动机(DPDA) 建立程序的预期行为模型,然后,通过虚拟机
【机 构】
:
北京工业大学北京市可信计算重点实验室,北京100124 北京工业大学北京市可信计算重点实验室,北京
【出 处】
:
第四届中国计算机网络与信息安全学术会议(CCNIS2011)
论文部分内容阅读
现有的复杂网络计算环境中安全问题日益严峻,使人们对于可信计算环境的需求非常急迫。可信证明技术是可信计算中非常重要的特性,为解决计算平台可信问题提供了新的研究方向。但是,现有的可信证明方法存在证据获取不及时、缺乏对于证明方的隐私保护以及证明方法自身安全性等问题,针对这些问题本文提供一种基于安全虚拟机内省的动态可信证明方法。首先,利用确定下推自动机(DPDA) 建立程序的预期行为模型,然后,通过虚拟机内省技术(VMI)动态验证程序的实际行为是否预期行为保持一致,从而判断程序的可信性;另外,利用VMI分析证明方的内存状态重建系统的关键数据结构,对系统内核文件以及关键数据进行完整性验证。最后,设计实现了可信证明系统,实验结果表明该系统能够动态验证程序的行为,并且满足可信证明设计原则的要求。
其他文献
利用椭圆曲线构造伪随机序列是近年来的一个热点问题,椭圆曲线线性同余序列(EC-LCG)是生成效率最高,最具密码学应用价值的椭圆曲线序列。对 EC-LCG 进行了格攻击,给出了序列对于格攻击安全的界。证明了如果得到该序列连续三个点的足够多的坐标信息,可以在多项式时间内恢复整条序列。
网络编码的主要优点是提高网络吞吐量、均衡网络负载以及提高带宽利用率,尤其适合无线网络、Ad Hoc、P2P以及流媒体传输等领域,在构建IP 网络电视方面具有巨大的潜力。研究在网络编码下构建网络电视的条件接收系统,提出了一种基于随机网络编码(RLNC)和SPOC 模型的轻量级加密方法和一种高效的层次组密钥分发管理方案。该方案具有加密数据量非常小的优点,适合用于网络电视实时流媒体加密,同时结合MPEG
通用软件方法实现数据包捕获机制主要有基于Linux 系统的Libpcap和基于Windows 系统的Winpcap。本文首先分析两种捕获机制的优缺点,引入了一种结合两者优点的包捕获改进机制Libpcap-nmap,在此基础上进一步改进,提出了一种新的数据包捕获机制 Libpcap-nmap-DMA。改进的方案改变了原有的数据包存取模式,使用一个循环缓冲器直接完成捕获数据到用户层的传递,减少了数据传
动态线性反馈移位寄存器(DLFSR)是目前较流行的基于线性反馈移位寄存器的钟控模型,它能够将钟控的安全性和移存器的高效性较好地折中。本文通过分析RAKAPOSHI 序列密码算法中的DLFSR,提出了一种 Rakaposhi 类DLFSR 模型,分析了此类模型输出序列为周期序列的条件,给出了控制序列与最终输出序列之间的周期关系,并得到了该类模型达到最大周期的条件,给以了构造最大周期Rakaposhi
提出一种两层扁平结构的PKI认证模型,即light-PKI 结构,在该结构中,终端安全存储有根CA的公钥信息并且维护了一个本地作废证书库,实体之间互相认证时,不需要第三方(认证机构)的实时参与,改善了PKI 系统的认证速度,提高了认证的效率。
对等网络中主动型恶意代码通过主动扫描发掘漏洞,利用P2P 网络拓扑及其交互渠道自主扩散蔓延整个网络,达到迅速破坏、瓦解、控制系统的目的。控制P2P 网络恶意代码的传播关键在于使得P2P 网络中的节点能迅速获得疫苗的免疫。首先将P2P 网络中的恶意代码细分为主动和被动这两种类型,通过深入分析P2P 网络中的主动型恶意代码的传播规律,提出一种适合与对等网络计算环境的主动型恶意代码与免疫疫苗的对抗传播模
基于IP 技术的移动性管理问题是目前研究的一个重点方向。尤其是代理移动IPv6 切换技术是研究的热点问题,它可以降低切换时延和信令开销,并且不需要移动节点参与到切换的信令交换当中,在实际部署中具有很强的优势。已有的几种基于代理移动IPv6的快速切换方案并不能有效的解决切换过程中的相关问题,如切换时延和丢包率等。本文基于移动IPv6的基本思想提出一种改进的代理移动IPv6 快速切换方案,对信令流程进
Wang等人提出的标准模型下可证明安全的基于身份的认证密钥协商协议不具有私钥产生中心(PKG)前向安全性,针对该安全缺陷,文中提出了一种新的基于身份的认证密钥协商协议,并在标准模型下证明了协议的安全性。与已有协议相比,该协议的执行效率是最高的。为了解决基于身份的认证密钥协商协议的PKG前向安全性问题,文中提出了一种PKG与用户共同协商私钥的方法,并给出具体实例说明了该方法的有效性。
WMN的自组织特性决定其网络边界难以确定,拓扑信息的收集和拓扑重构会产生很大延迟,另外,加上WMN的拓扑结构灵活多变的特点,导致WMN 监控精确性和实时性难以得到保证。A*算法是一种启发式的收敛速度较快的搜索算法,搜索可在有限时间内完成,但存在路径重复覆盖、搜索路径较长的问题,通过对A*搜索过程中的路径长度、搜索范围和启发式进行改进,提出了一种WMN 拓扑状态实时监控方法。仿真表明,和原算法相比改
针对RSSI测距存在的脆弱性问题,提出了一种基于完整性编码和不间断占用信道的鲁棒RSSI测距协议,该协议不仅可以抵抗伪造插入、重放/虫洞等常规攻击,并且可以防止信标信号被恶意干扰而削弱,具有抵抗虚增测距的外部攻击的能力。在此基础上,设计了一种基于RSSI的传感器网络节点安全定位机制,该机制采用三角校验方法来过滤虚减测距的外部攻击,提高了定位的安全性。文章对测距协议和定位机制的安全性进行了理论分析。