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

作     者：李晓乐 董荣胜 郭云川 LI Xiao-le;DONG Rong-sheng;GUO Yun-chuan

作者机构：桂林电子科技大学计算机与控制学院广西桂林541004 

基　　金：广西自然科学基金项目(0542052) 

出 版 物：《桂林电子科技大学学报》 (Journal of Guilin University of Electronic Technology)

年 卷 期：2006年第26卷第6期

页      码：469-472页

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

主 题 词：BSW逻辑 公钥认证协议 设计 

学科分类：08[工学] 0839[0839] 081201[081201] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1673-808X.2006.06.011

馆 藏 号：203162897...