计算机应用与软件2011，Vol.28Issue(3)：289-292,4.
一种混合的安全协议分析方法
A MIXED SECURITY PROTOCOL ANALYSIS METHOD
摘要
Abstract
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.关键词
可证安全/逻辑分析/安全协议/混合分析引用本文复制引用
霍腾飞,李益发,邓帆..一种混合的安全协议分析方法[J].计算机应用与软件,2011,28(3):289-292,4.基金项目
成都市通信技术重点实验室(9140C1103040902). （9140C1103040902）
