在可信环境下，我们对密钥协商协议的形式化方法-Canetti—Krawczyk（CK）模型进行研究，对该模型中定义的攻击者三种攻击能力重新进行分析......

对Canetti—Krawczyk模型进行深入研究，抽象并形式化IEEE802．11i协议的四步握手协议。依据Canetti—Krawczyk模型中在AM下的安全性定......

基于Canetti—Krawczy模型的安全性定义与模块化特性，利用公钥加密和消息认证码技术，构造了一个快速认证协议，并对该协议的安全性进行......