BSW逻辑相关论文
安全协议是建立在密码学基础上的网络协议,用于确保网络通信的安全可靠。近年来,随着网络需求的不断增长,安全协议的设计研究也逐......
针对BSW逻辑在公钥认证协议设计中的应用，讨论了它的不足并对其进行了改进．消除了原合成规则对公钥使用者身份的不合理限制，并通过添......
基于BSW逻辑对互联网密钥交换协议(IKEv2)进行了形式化分析,证明协议在预共享密钥认证方式下存在中间人攻击,提出一个改进方案,并......
