协议证明相关论文
通信协议作为网络和分布式应用的基础，其固有的复杂性和潜在的敌对环境，使得协议安全性面临巨大的威胁。协议证明是安全的,但其实现......
Strand空间是一种新的安全协议分析模型.系统研究了使用Strand空间模型证明认证协议存在缺陷的方法.在证明过程中,使用目标细化方......
