-
题名BSW逻辑在公钥认证协议设计中的应用及改进
- 1
-
-
作者
李晓乐
董荣胜
郭云川
-
机构
桂林电子科技大学计算机与控制学院
-
出处
《桂林电子科技大学学报》
2006年第6期469-472,共4页
-
基金
广西自然科学基金项目(0542052)
-
文摘
针对BSW逻辑在公钥认证协议设计中的应用,讨论了它的不足并对其进行了改进。消除了原合成规则对公钥使用者身份的不合理限制,并通过添加特定标识符等手段,实现了验证消息发送者身份的推演目标;以两方双向认证协议的设计为例,指出了BSW逻辑忽略冗余性处理所带来的加密冗余问题,得到了消除加密冗余后的协议,采用A thena方法对该协议进行形式化分析表明,协议实现了双向认证的目标。
-
关键词
bsw逻辑
公钥认证协议
设计
-
Keywords
bsw logic
public-key authentication protocol
design
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名针对中间人攻击的IKEv2形式化分析与改进
被引量：1
- 2
-
-
作者
朱晓薇
周海刚
刘军
-
机构
解放军理工大学通信工程学院
-
出处
《计算机工程与应用》
CSCD
2012年第2期59-62,共4页
-
基金
江苏省自然科学基金(No.BK2008090)
-
文摘
基于BSW逻辑对互联网密钥交换协议(IKEv2)进行了形式化分析,证明协议在预共享密钥认证方式下存在中间人攻击,提出一个改进方案,并利用扩展的BSW逻辑分析了改进后的协议能够抵御中间人攻击,且能够满足协议的认证性、秘密性和完整性。
-
关键词
bsw逻辑
IKEV2协议
中间人攻击
预共享密钥
-
Keywords
bsw logic
IKEv2 protocol
man-in-the-middle attack
pre-shared key
-
分类号
TP393.08
[自动化与计算机技术—计算机应用技术]
-
