SSL协议的扩展Rubin逻辑形式化分析

摘要：

SSL协议是一个用于因特网上进行保密通信的实用安全协议,由于它的复杂性,很多形式化分析方法都不适合分析它[1].而适用于分析非单调密码协议的Rubin逻辑,不同于大多数采用"知识"和"信念"的逻辑分析发现安全缺陷的逻辑分析方法,它完整地分析协议过程中的出现所有"动作",不但能清晰地看到SSL协议的不足,还可指出进一步完善SSL协议的方法.

关键词：安全协议、Rubin逻辑、SSL协议、形式化分析、非单调密码协议

所属期刊栏目：28

分类号：TP393.04(计算技术、计算机技术)

在线出版日期：2007-10-12（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：3852-3855,3859