基于认证测试方法的Woo-Lam协议的分析及改进
运用基于Strand Space模型的认证测试方法,对Woo-Lam协议进行了分析,指出了该协议在认证正确性方面的缺陷,同时提出了改进的Woo-Lam协议,并用认证测试方法证明了改进协议的认证正确性。
安全协议 形式化方法 认证测试 Woo-Lam协议
李廷元 秦志光 刘晓东 张选芳
电子科技大学计算机科学与工程学院 成都 610054 中国民用航空飞行学院计算机学院 广汉 618307 电子科技大学计算机科学与工程学院 成都 610054 中国民用航空飞行学院计算机学院 广汉 618307
国内会议
成都
中文
550-551,562
2009-05-15(万方平台首次上网日期,不代表论文的发表时间)