|
|||||
|
|
| 一种改进的Woo-Lam协议 | |
| 引用本文： | 杨晓婕,缪祥华,仇细平.一种改进的Woo-Lam协议[J].中国电子商情,2009(9). |
| 作者姓名： | 杨晓婕 缪祥华 仇细平 |
| 作者单位： | 昆明理工大学,信息工程自动化学院,云南,昆明,650051 |
| 摘 要： | 串空间是一种基于定理证明的,新兴的安全协议形式化分析模型.认证协议使用密码技术实现网络环境下的身份认证和信息保密.本文针对Woo-Lam协议的不足,对其进行改进,提出了一种新的Woo-Lam协议,使其成为双向认证协议,并基于串空间模型,然后对改进的Woo-Lam协议进行分析证明,结果证明了改进的Woo-Lam协议为双向认证协议.最后通过比较了改进前后的Woo-Lam协议,得出了结论. |
| 关 键 词： | 串空间 认证协议 形式化方法 |
Improved Woo-Lam protocol |
|
| Abstract: | |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ | |