期刊文章详细信息
一种混合的安全协议分析方法
A MIXED SECURITY PROTOCOL ANALYSIS METHOD
文献类型：期刊文章
机构地区：[1]信息工程学院研究生专业训练中心,北京100094 [2]信息工程大学信息工程学院,河南郑州450002
基 金：成都市通信技术重点实验室(9140C1103040902)
年 份：2011
卷 号：28
期 号：3
起止页码：289-292
语 种：中文
收录情况：CSA、CSA-PROQEUST、CSCD、CSCD_E2011_2012、IC、JST、ZGKJHX、普通刊
摘 要：在安全协议的形式化分析中,有两种完全不同的观点:模态逻辑和可证安全,两者各有优缺点。目前,将两者进行组合优化,建立统一的调和方法框架对安全协议进行分析是研究的热点和难点。通过对两种观点的研究,按照优势互补的原则将两者相调和,提出了一种新的形式化分析方法,该方法可提供更为完全的安全协议形式化分析。
关 键 词：可证安全 逻辑分析 安全协议 混合分析
分 类 号：TP393.08]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
