STRAND空间

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

检索结果分析

结果分析中...
条 记 录,以下是1-6
视图:
排序:
Strand空间中基于安全密钥概念的证明思路之我见
《无线互联科技》2013年第3期101-101,167,共2页魏少峰 张颖 
一种基于安全密钥证明Strand空间模型新思路,从安全密钥的概念着手,在理想概念证明法的基础上得到预备结论,证明协议的认证属性及秘密属性。
关键词:Strand空间模型 安全密钥 安全协议 理想概念 
Strand空间中基于安全密钥概念的证明思路被引量:1
《通信学报》2005年第2期29-34,共6页任侠 吕述望 
国家"863"基金资助项目(2002AA141040);国家"973"基金资助项目(G1999035800)
提出了Strand空间模型中证明安全协议的一个新思路,它从安全密钥的概念出发,参照基于理想概念的证明方法,得出证明所需的预备结论,从而对协议的秘密属性与认证属性进行证明。此外,还给出了一个针对Yahalom-BAN协议安全性的证明实例,从...
关键词:计算机科学技术基础学科 安全协议证明 strand空间模型 安全密钥 理想概念 
基于Strand空间分析具有类型缺陷的认证协议
《中国科学院研究生院学报》2004年第4期543-548,共6页任侠 吕述望 
国家 973项目 (G19990 3 5 80 0 )资助
通过去除Strand空间中的强类型抽象假设 ,引入Strand模板的概念与一个入侵者的伪操作 ,进而利用认证测试方法 ,实现了对具有类型缺陷的认证协议的直接分析 .
关键词:STRAND空间 认证协议 强类型抽象 类型缺陷 认证测试 
安全密钥与秘密属性之间关系的研究被引量:1
《中国科学技术大学学报》2004年第2期234-240,共7页吕述望 任侠 
国家"973"计划 (G1 9990 35 80 0 )
在Strand空间中引入理想的概念 ,可以简化安全协议的证明过程 .此外 ,在Strand空间中引入安全密钥的定义 ,可以作为对协议密钥设计要求的描述 .相关文献只给出了理想结构的大致轮廓 ,论文引入新的符号以给出理想结构的内部细节 .在此基...
关键词:STRAND空间 安全协议 理想 安全密钥 秘密属性 网络安全 
一种基于Strand空间的认证协议检测方法
《计算机应用》2004年第1期76-79,共4页姜志坚 韩芳溪 
山东省科技厅基金资助项目 (0 0 30 90 30 9)
Strand空间是一种安全协议分析模型 ,使用图的形式来描述协议 ,证明协议的正确性。通过分析研究 ,本文建立了攻击者知识模型 ,在此基础上提出了一种基于Strand空间的认证协议检测方法 ,该方法产生状态少 ,避免了状态空间的爆炸。并以Nee...
关键词:STRAND空间 BUNDLE 攻击者知识模型 状态搜索 
基于Strand空间的认证协议证明方法研究被引量:5
《软件学报》2002年第7期1313-1317,共5页刘东喜 白英彩 
国家S219工程资助项目(2000-A32-09)
Strand空间是一种新的安全协议分析模型.系统研究了使用Strand空间模型证明认证协议存在缺陷的方法.在证明过程中,使用目标细化方法证明了认证属性.通过在该模型中引入消息类型检查机制,简化了证明过程.并将该方法应用到包含三方主体的...
关键词:STRAND空间 认证协议 协议证明 形式化方法 密码 信息安全 
检索报告 对象比较 聚类工具 使用帮助 返回顶部