BSW逻辑在公钥认证协议设计中的应用及改进

• 作者: 李晓乐 董荣胜 郭云川
• 来源期刊: 桂林电子科技大学学报
• 学科: 工学
• 关键词: BSW逻辑 公钥认证协议 设计
• 年，卷（期）: 2006,（6）
• 所属期刊栏目: 学术论文
• 页码范围: 469-472
• 页数: 4页
• 分类号: TP309
• 字数: 4251字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-808X.2006.06.011

摘要

针对BSW逻辑在公钥认证协议设计中的应用,讨论了它的不足并对其进行了改进.消除了原合成规则对公钥使用者身份的不合理限制,并通过添加特定标识符等手段,实现了验证消息发送者身份的推演目标;以两方双向认证协议的设计为例,指出了BSW逻辑忽略冗余性处理所带来的加密冗余问题,得到了消除加密冗余后的协议,采用Athena方法对该协议进行形式化分析表明,协议实现了双向认证的目标.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	董荣胜	桂林电子科技大学计算机与控制学院	115	1521	13.0	37.0
2	郭云川	桂林电子科技大学计算机与控制学院	25	119	8.0	10.0
6	李晓乐	桂林电子科技大学计算机与控制学院	3	3	1.0	1.0