• 串空间模型及其认证测试方法的一种扩展与应用-作者:方燕萍 ...认证测试方法是基于串空间模型的验证安全协议的一种形式化方法，由于串空间模型没有抽象更多的密码学原语，因此难以分析较复杂的安全协议。通过扩展消息项、子项关系...

• Neuman-Stubblebine协议的串空间模型及分析 THE STRAND SPACE ...串空间模型是一种新兴的密码协议形式化分析工具,其理论中理想和诚实概念的提出大大减少了协议的证明步骤。首次利用串空间理论从机密性和认证性两个方面对neuman-...

• 串空间__图片回到(串空间)餐厅 串空间__图片...

• 串空间理论扩展【中文摘要】现有的串空间模型由于没有抽象更多的密码学原语,因此不能分析较复杂的安全协议.希望通过对串空间理论的扩展使其充分地表达较多的密码学原语,...

• 串空间模型中的口令猜测攻击 The Guessing Attacks in the ...给出了鉴别协议猜测攻击的串空间模型.扩充了攻击者串和密码运算类型,重新定义了理想概念,并证明了相关定理.扩展的诚实理想分析模型不仅继承了原理论的有关性质,而且...

• 安全协议的串空间图表示-安全协议 串空间图 形式化建模安全协议的串空间图表示,串空间是安全协议的一种形式化描述，串空间图是它的图示化表示.定义开丛为串空间图的构造单元，并在开丛集上定义前缀算子和组合算子.通过开丛...

• 扩展串空间在 互联网技术 分类中 的字典查询结果--cnki翻译助手...扩展串空间 在 互联网技术 分类中 的字典查询结果：||双语例句|英文例句|相关...扩展串空间 extended strand spaces(0)扩展串空间在 互联网技术 分类中 ...

• 基于串空间的安全协议形式化验证模型及算法-中国学术期刊网络...【摘要】网络安全在信息时代非常重要,而网络安全的关键问题之一是安全协议首先介绍了当前安全协议形式化验证的前沿方向串空间理论,...