一种改进的Woo-Lam协议

• 作者: 仇细平 杨晓婕 缪祥华
• 来源期刊: 通信市场
• 学科: 工学
• 关键词: 串空间 认证协议 形式化方法
• 年，卷（期）: 2009,（9）
• 所属期刊栏目: CTC2009第三届全国通信新理论与新技术学术大会论文
• 页码范围: 89-93
• 页数: 5页
• 分类号: TP309
• 字数: 3878字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-6675-B.2009.09.030

摘要

串空间是一种基于定理证明的,新兴的安全协议形式化分析模型.认证协议使用密码技术实现网络环境下的身份认证和信息保密.本文针对Woo-Lam协议的不足,对其进行改进,提出了一种新的Woo-Lam协议,使其成为双向认证协议,并基于串空间模型,然后对改进的Woo-Lam协议进行分析证明,结果证明了改进的Woo-Lam协议为双向认证协议.最后通过比较了改进前后的Woo-Lam协议,得出了结论.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨晓婕	昆明理工大学信息工程自动化学院	3	2	1.0	1.0
2	缪祥华	昆明理工大学信息工程自动化学院	23	24	3.0	3.0
3	仇细平	昆明理工大学信息工程自动化学院	3	2	1.0	1.0