• 佟燕的设计师家园:::原串空间-尽在中国建筑与室内设计师网设计师家园'原串空间'的文章,-在平凡的空间里，创造精彩！...网站官方微博已开通·5月18日设计人才可持续性发展(武汉)论坛落幕 原串空间 http://148203.china-...

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

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

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

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

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

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

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