文摘

安全协议的研究和实现技术基于可信计算平台

作者(年代):陈Ya-dong太阳Zhi-xin,张涛

随着互联网的快速发展,计算机系统和计算机网络所面临的安全问题也越来越严重。安全协议是当前网络安全提出的一个研究热点,在保护网络安全中起着重要的作用。但是如果信息被病毒、木马,或破坏加密之前,alreadyfailed尽管传输信息协议本身是安全的。受信任的计算平台只有运行程序的可靠来源保证,并确保运行的程序是合法的。同时,平台可以停止病毒运行恶意代码,信任计算平台解决问题的安全加密系统及其运行环境。如果当前的安全协议如果不修改直接使用可信的计算平台,尽管它可以保证通信安全但不受信任的优势计算平台,协议执行效率不高,也无法完成的验证平台。基于信任的现状研究计算平台和安全协议,并针对当前安全协议的缺点,提出了安全通信协议基于信任的计算平台。同时,使用正式的方法验证协议,和写的NDIS中间层驱动程序实现的协议。安全协议运行在安全可靠的平台,实现真正的高效和安全的通信。在研究过程中,研究主要取得了以下研究成果:1。建立安全协议模型基于信任的计算平台。2。在分析协议的过程中,从理论上证明协议还安全,不仅使用攻击验证,使用正式的分析。与传统安全协议相比,protocoldesigned在本文应用和实施可信的计算平台、数据计算速度更快,协议执行效率较高,信息传输更加安全。