论文部分内容阅读
形式化方法是验证加密协议的重要手段,提出了一种新的验证方法,该方法基于Debbabi的推理规则,将参与者ID|参与者密钥等数据结构从协议中抽象出来,建立起抽象的逻辑推理结构.以Woo-Lam协议为例,通过逆向递推的方式得到了协议的所有攻击路径,并以图的形式表示其关系,详尽分析了协议的漏洞,最后, 提出了如何使协议更为安全的建议.