协议证明相关硕士博士期刊学术论文 - 搜论网

协议证明相关论文

基于Strand空间的认证协议证明方法研究

Strand空间是一种新的安全协议分析模型.系统研究了使用Strand空间模型证明认证协议存在缺陷的方法.在证明过程中,使用目标细化方......

期刊

STRAND空间认证协议协议证明形式化方法密码信息安全 Strand space authentication protocol protocol

看过本文同时还关注