Strand空间相关论文
该文对安全协议的特点作了深入的探讨.通过对目前安全协议的检验方法的研究,对安全协议分析有了深入的认识.模型检验方法是一种形......
Strand空间是一种新的安全协议分析模型.系统研究了使用Strand空间模型证明认证协议存在缺陷的方法.在证明过程中,使用目标细化方......
通过去除Srtand空间中的强类型抽象假设，引入Strand模板的概念与一个入侵者的伪操作，进而利用认证测试方法，实现了对具有类型缺陷的认......
Strand空间是一种安全协议分析模型 ,使用图的形式来描述协议 ,证明协议的正确性。通过分析研究 ,本文建立了攻击者知识模型 ,在此......
在Strand空间中引入理想的概念,可以简化安全协议的证明过程.此外,在Strand空间中引入安全密钥的定义,可以作为对协议密钥设计要求......
