一种混合的安全协议分析方法  

A MIXED SECURITY PROTOCOL ANALYSIS METHOD

作　　者：霍腾飞[1] 李益发[1] 邓帆[2] 

机构地区：[1]信息工程学院研究生专业训练中心,北京100094 [2]信息工程大学信息工程学院,河南郑州450002

出　　处：《计算机应用与软件》2011年第3期289-292,共4页Computer Applications and Software

基　　金：成都市通信技术重点实验室(9140C1103040902)

摘　　要：在安全协议的形式化分析中,有两种完全不同的观点:模态逻辑和可证安全,两者各有优缺点。目前,将两者进行组合优化,建立统一的调和方法框架对安全协议进行分析是研究的热点和难点。通过对两种观点的研究,按照优势互补的原则将两者相调和,提出了一种新的形式化分析方法,该方法可提供更为完全的安全协议形式化分析。Modal logic and provable secure approach are the two opposite approaches in security protocol formal analysis.Each one has its virtues and flaws.How to bridge the gap by drawing virtues from both approaches while discarding their flaws is a new challenge.It is attractive and difficult for researchers to build a uniform harmonious method framework to analyse security protocols.A new formal analysis approach is brought forward by engaging in drawing virtues from both approaches and discarding their flaws.The new approach can provide a more complete security protocol formal analysis.

关 键 词：可证安全 逻辑分析 安全协议 混合分析 

分 类 号：TP393.08[自动化与计算机技术—计算机应用技术]