论文部分内容阅读
文章运用模型检测技术,以Dolev-Yao模型为基础,使用HLPSL语言和模型检测工具AVISPA对快速切换认证协议FHAM进行了建模和安全检测,检测结果表明该协议是安全的,能抵制多种恶意攻击,符合FHAM协议设计的安全目标。
基于AVISPA的快速切换认证协议FHAM的安全建模与检测
【摘 要】
：
文章运用模型检测技术,以Dolev-Yao模型为基础,使用HLPSL语言和模型检测工具AVISPA对快速切换认证协议FHAM进行了建模和安全检测,检测结果表明该协议是安全的,能抵制多种恶意攻击,符合FHAM协议设计的安全目标。
【机 构】
：
南京理工大学计算机科学与工程学院,中国科学院信息工程研究所信息安全国家重点实验室
【出 处】
：
信息网络安全
【发表日期】
：
2014年05期
其他文献
为了进一步促进云计算创新发展,建立云计算信任体系,规范云计算行业,促进市场发展,提升产业技术和服务水平。由中国信息通信研究院、中国通信标准化协会主办的"2017可信云大会"于7月25日-26日在北京国际会议中心召开。本次可信云大会聚焦政务、视频、金融、医疗等4大重点行业,以及运维、企业级
对控制回路构成加以分析,并且从影响仪表自控率的自身因素以及人为因素两方面入手,探讨了如何有效提升仪表自控率,通过对各种影响因素有效调节,能够确保仪表自控率得到显著提
结合实践经验,介绍了建筑工程中外墙保温施工技术的内容,并阐述了外墙内保温,外墙外保温与内外混合保温的施工技术,总结了施工中的注意事项,有助于提高建筑室内的保温效果。
研究改性沥青混合料应力吸收层在“白改黑”路面结构中的受力状态,对于其材料组成设计具有指导意义。根据弹性层状理论体系,采用Abaqus工程模拟有限元软件建立基于应力吸收层
随着基于Internet的Web应用程序和服务在信息系统和商业领域中的应用越来越普及,针对Web应用程序漏洞发起的攻击在各类攻击中所占的比例正在逐步上升,SQL注入攻击已经成为威胁Web安全的首要隐患。为了防范SQL注入攻击对网络信息的危害,根据SQL语法结构,利用树形结构,对可注入的SQL语法进行拆分和分类,并对每一种子类进行特征提取,从而获得了一套SQL注入攻击检测的关键字库,基于关键字匹配技
对漏电保护技术工作原理进行了简单的介绍,阐述了在建筑电气工程施工中应用漏电保护技术的原则,并介绍了建筑电气工程施工中漏电保护技术的具体应用,希望能给同行工作人员提
针对国内尚缺少成熟的PCCP管道结构修复技术的现状,通过介绍国外PCCP管道加固修复技术,分析了6种PCCP管道修复加固方法的技术特点、优缺点、适用性,为国内PCCP管道修复提供参
近日，以福建省信息化局为主管单位，由福大信息办、福建省海峡信息技术有限公司、福建邮科通信技术有限公司、厦门精图信息技术股份有限公司、福建东南助力管理服务有限公司、福
归纳了建筑工程混凝土施工中存在的问题,针对混凝土工程中裂缝、蜂窝、麻面、强度不足等质量通病产生的原因,提出了混凝土温控、浇筑、养护及裂缝控制的技术要点,以提升混凝
为了提高高速公路沥青混凝土路面的施工质量,提出了在施工准备阶段及混凝土摊铺阶段的施工技术要点,并重点阐述了接缝处理的方法。通过把握好施工过程中需要注意的技术细节进