会议专题

基于认证测试方法的Woo-Lam协议的分析及改进

运用基于Strand Space模型的认证测试方法,对Woo-Lam协议进行了分析,指出了该协议在认证正确性方面的缺陷,同时提出了改进的Woo-Lam协议,并用认证测试方法证明了改进协议的认证正确性。

安全协议 形式化方法 认证测试 Woo-Lam协议

李廷元 秦志光 刘晓东 张选芳

电子科技大学计算机科学与工程学院 成都 610054 中国民用航空飞行学院计算机学院 广汉 618307 电子科技大学计算机科学与工程学院 成都 610054 中国民用航空飞行学院计算机学院 广汉 618307

国内会议

2009国际信息技与应用论坛

成都

中文

550-551,562

2009-05-15(万方平台首次上网日期,不代表论文的发表时间)