可信网络连接关键技术研究及其应用

来源 :西安电子科技大学 | 被引量 : 0次 | 上传用户:chijb
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着网络技术的迅速发展,使得网络及网络应用更加广泛和深入,同时也使得网络安全问题日渐突出和复杂,包括病毒、间谍软件、木马等在内的安全问题发生的频率越来越高,带来的危害也日益严重,从而限制了网络技术及应用的进一步发展。然而,传统的网络安全系统越来越难以解决这一问题。有鉴于此,可信网络连接应运而生,成为了当前学术界的研究热点。与此同时,可信网络连接标准化工作也正在各标准化组织中积极有序地开展。2005年1月,全国信息安全标准化技术委员会成立了中国可信计算标准工作组。2007年4月,西安西电捷通无线网络通信股份有限公司作为中国可信计算标准工作组网络组的组长单位开始负责起草可信连接架构国家标准(立项号:20090337-T-469),并于2012年11月完成。作为一门新兴的安全技术,可信网络连接还有很多问题亟待解决。本文是在西安西电捷通无线网络通信股份有限公司所承担可信连接架构国家标准项目中完成的,主要集中于可信网络连接关键技术研究及其应用。主要研究成果如下:1.对串空间模型进行了扩展,使得扩展后的串空间模型能够正确地分析可信网络连接协议的安全性。2.在现有远程证明模型的基础上,提出了两种新的远程证明模型,并进一步提出了健壮的单/双向平台认证协议,然后基于健壮的单/双向平台认证协议设计了相应的可信网络连接协议,它们的优点在于不需要修改现有的用户认证协议,最后利用本文扩展后的串空间模型证明了它们是安全的。3.基于本文扩展后的串空间模型,对MN-TAP协议进行了分析,指出MN-TAP协议不能防止中间人攻击,然后对MN-TAP协议进行了改进,最后证明了改进后的MN-TAP协议是安全的。4.在WAI协议的基础上提出了基于预共享密钥模式和基于证书模式的可信计算环境下的WLAN接入认证方案,实现了可信环境下的WLAN接入认证,然后利用本文扩展后的串空间模型证明了它们是安全的。5.提出了一种基于扩展WAI协议的WLAN Mesh安全关联方案,它有效地改善了WLAN Mesh安全关联的性能,特别是降低了AS的负载。然后,在该方案的基础上提出了一种可信计算环境下的WLAN Mesh安全关联方案,实现了可信计算环境下的WLAN Mesh安全关联。最后利用本文扩展后的串空间模型证明了它们是安全的。6.系统地分析了TNC体系结构及其接口协议,指出TNC体系结构及其接口协议存在一定的安全问题和应用局限性,然后给出了结合TLS的TNCIF-T协议和结合隧道EAP方法的TNC IF-T协议的改进方案,以及一种针对TNC体系结构的新平台认证方案,最后通过分析证明了它们是安全的和可行的。7.为了弥补TNC体系结构的不足,提出了一种基于三元对等鉴别的可信网络连接架构,简称为可信连接架构(TCA),并详细定义TCA的接口协议,通过对TCA及其接口协议的分析,证明了TCA不但可以防止不符合安全策略的终端接入网络,而且还可以保障可信网络连接自身的安全性,并且具有良好的应用扩展性。8.基于多因素认证和可信网络连接的研究,初步探讨了未来多身份认证系统的可能,以及多身份认证系统的设计与分析,然后给出了一种简单的、面向服务的多身份认证系统,最后证明了它是安全的和可行的。
其他文献
《高中历史“导学——发现”教学方法研究》是江苏省无锡市教育科学“十五”规划的立项课题,该课题从高中历史教育的特点出发,力图通过研究当前学生历史学习的实际情况,寻找教师
<正>2015年5月2日至7日,国家卫生计生委副主任、国家中医药管理局局长王国强带队赴浙江省调研医改工作。王国强同志一行实地考察了慈溪市中医院、宁波市中医院、杭州市胡庆余
介绍了EPC物联网的基本概念,基于EPC物联网在奢侈品防伪上的应用,提出了基于EPC物联网的奢侈品防伪系统构架及层次组成,针对防伪系统可能遇到的安全问题,提出了相应的防范措
"黄金大米"事件反映了我国保健食品试食试验制度中未成年人参与保护的法律缺陷。目前,我国试食试验制度与医学人体试验制度混同适用。但混同立法难以体现二者试验利益的差别,
简述了供应链融资发展的原因、供应链融资的两种模式,运用层次分析法并以案例的形式分析了供应链融资可能存在的风险,最后提出了相应的风险控制策略。
伴随着城市工业生产、加工制造、交通建设等各领域的快速发展,往往消耗掉大量的一次性能源,排放出大量C02气体,其中建筑的碳排量在能源消费中占有重大比例。温室气体导致地球
在现代城市交通运输中 ,公路客运站是城市内部运输和对外运输的重要组成部分 ,同城市的其他功能融为一体。新建或改建的城市客运站 ,在规划过程中就要考虑到经济、实用、出入
结合快递产业的特点,构建了我国快递企业的竞争力评价指标体系。以层次分析法为研究方法,结合调查数据,分析研究了快递企业竞争力评价的重要因素,并提出了快递企业培育和提升
新型纳米仿生材料的电化学生物传感研究在电催化、分析检测、生物医学等领域显示出广阔的应用前景。采用绿色仿生合成的纳米材料作为电化学传感平台,不仅可以将纳米材料本身
《罗马热病》大量运用"双关语",谜一样的语言牵引着读者一步一步地探索着两人心灵至深处的隐秘地带,作者同时在许多地方设有"伏笔",使故事情节层层推进,彼此呼应。"双关语"和