STRAND空间

作品数：6被引量：7H指数：1
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：吕述望姜志坚任侠韩芳溪白英彩更多>>
相关机构：山东大学中国科学技术大学中国科学院研究生院上海交通大学更多>>
相关期刊：《通信学报》《中国科学技术大学学报》《软件学报》《计算机应用》更多>>
相关基金：国家重点基础研究发展计划国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机应用x
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种基于Strand空间的认证协议检测方法
《计算机应用》2004年第1期76-79,共4页姜志坚 韩芳溪 
山东省科技厅基金资助项目 (0 0 30 90 30 9)
Strand空间是一种安全协议分析模型 ,使用图的形式来描述协议 ,证明协议的正确性。通过分析研究 ,本文建立了攻击者知识模型 ,在此基础上提出了一种基于Strand空间的认证协议检测方法 ,该方法产生状态少 ,避免了状态空间的爆炸。并以Nee...
关键词：STRAND空间 BUNDLE 攻击者知识模型 状态搜索 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部