搜索筛选:
搜索耗时0.6556秒,为你在为你在102,285,761篇论文里面共找到 2 篇相符的论文内容
发布年度:
[期刊论文] 作者：李之棠,石曙东,解云峰,
来源：计算机工程与科学 年份：2004
随着网络的发展,协议的安全性越来越受到关注,现在国际上的热点集中在对安全协议的形式化验证和分析方面.本文通过使用BAN逻辑证明Needham-Schroeder协议的安全性,得出其存在...
[会议论文] 作者：解云峰,李之棠,石曙东,
来源：全国网络与信息安全技术研讨会2004 年份：2004
用于安全协议形式化分析的串空间(strand space)模型,是一种结合定理证明和协议迹的混合方法,可以有效地描述和证明安全协议的正确性.本文对串空间模型近年来在扩展性、与其它形式化方法的关系、安全协议自动检验技术以及串空间模型的应用等几个研究层面作了全......
相关搜索：
