检索结果-内蒙古大学图书馆

密码学报 2014年第5期1卷 504-512页

作者：高尚胡爱群石乐陈先棒东南大学信息科学与工程学院信息安全研究中心南京210096

计算机网络中,安全协议为通信双方的信息交互提供安全保证,是计算机网络安全的基础.而当安全协议中存在安全漏洞时,会对信息安全产生重大威胁,造成数据泄露、身份被冒用等危害.因此,对于安全协议安全性的研究,历来都属于安全领域的重要... 详细信息

计算机网络中,安全协议为通信双方的信息交互提供安全保证,是计算机网络安全的基础.而当安全协议中存在安全漏洞时,会对信息安全产生重大威胁,造成数据泄露、身份被冒用等危害.因此,对于安全协议安全性的研究,历来都属于安全领域的重要研究方向.目前的安全性分析方法主要是通过协议形式化分析与验证来实现.形式化分析方法的理论体系大致可分为三类:模态逻辑技术、模型检测技术和定理证明技术.在不同类别的理论体系中,所使用的技术方法各有不同,对安全协议分析的侧重点也略有不同.对于每一种理论体系,研究者们也提出了不同的方法,以及针对经典方案的改进来提高形式化分析的准确性.对于复合协议,其主要问题是通过对多种现有可靠安全协议加以组合,构成新的协议并保持其安全性可靠.对于复合协议的安全性分析,也有异于普通的安全协议形式化分析.本文总结了各种类别中的主要分析方法,并比较了每种方法的优缺点,同时特别针对复合协议的安全性分析技术进行了概述.最后指出了形式化分析方法中需要解决的问题,以及下一步的研究方向.

关键词：安全协议协议形式化分析复合协议

来源：评论

学校读者我要写书评

暂无评论

安全协议形式化分析的MT组合分析技术

安全协议形式化分析的MT组合分析技术

引用

第七届中国密码学学术会议

作者：范红冯登国邹良惠郭金庚中科院信息安全国家重点实验室(北京) 解放军信息工程大学(郑州)

本文分析了模型检测技术和理论生成技术的优点与不足,并在此基础上提出了MT(Model checking-Theory induction)组合分析技术,该技术可提供更为完全的安全协议形式化分析方法.

关键词：协议形式化分析模型检测理论生成 MT组合技术安全协议信息安全

来源：评论

学校读者我要写书评

暂无评论

非否认协议及协议形式化分析研究

非否认协议及协议形式化分析研究

引用

分析现有协议：认证协议、非否认协议、电子商务协议的共性和不同点，及其安全性问题。设计新型能够防止欺骗的安全协议：包括认证协议、非否认协议和电子商务协议。研究形式化分析工具BAN逻辑、SVO逻辑和KAILAR逻辑的优点和缺陷。改进... 详细信息

标准号: hg08039318

分析现有协议：认证协议、非否认协议、电子商务协议的共性和不同点，及其安全性问题。设计新型能够防止欺骗的安全协议：包括认证协议、非否认协议和电子商务协议。研究形式化分析工具BAN逻辑、SVO逻辑和KAILAR逻辑的优点和缺陷。改进和优化BAN类逻辑，改进和扩展KAILAR逻辑。建立新型形式化分析工具。研究密码算法的安全性和分析方法，以及它们在安全协议中所起的作用。将上述成果用于实际系统，例如电子商务和防火墙。研究成果在安全协议设计、形式化分析工具创新、密码算法的设计和分析等方面有重大突破，达到国际领先水平。成果已经纳入国家专项攻关项目中和中科院重大项目，不仅在理论上，而且在实践上均有重要意义。

关键词：非否认协议协议形式化分析

来源：评论

学校读者我要写书评

暂无评论

基于第三方的安全移动支付方案