论文部分内容阅读
SSL协议是一个应用于互联网上的安全协议,使用传统的BAN类逻辑分析该协议有很大困难。本文用Rubin逻辑对SSL协议中恢复一个已存在的会话模式进行了分析,证明了该模式下可以建立新的安全连接。我们还发现了协议中存在的一些问题。通过分析表明,利用Rubin逻辑分析非单调的安全协议是一种可行的方法。