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

摘要：

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

关键词：BSW逻辑、公钥认证协议、设计

所属期刊栏目：26

分类号：TP309(计算技术、计算机技术)

资助基金：广西自然科学基金0542052

在线出版日期：2007-03-05（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：469-472