基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
通过去除Strand空间中的强类型抽象假设,引入Strand模板的概念与一个入侵者的伪操作,进而利用认证测试方法,实现了对具有类型缺陷的认证协议的直接分析.
推荐文章
基于Strand模型的Needham-Schroeder协议分析
串空间
攻击者模型
形式化分析
安全协议
串空间和认证测试在协议分析中的应用
安全协议
串空间
认证测试
x.509
基于串空间的认证协议分析
安全协议
认证协议
形式化分析
串空间模型
基于密码协议认证目标的协议分析方法的研究
密码协议
认证目标
Diffie-Hellman密钥建立协议
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 基于Strand空间分析具有类型缺陷的认证协议
来源期刊 中国科学院研究生院学报 学科 工学
关键词 Strand空间 认证协议 强类型抽象 类型缺陷 认证测试
年,卷(期) 2004,(4) 所属期刊栏目 简报
研究方向 页码范围 543-548
页数 6页 分类号 TP393.08
字数 4502字 语种 中文
DOI 10.3969/j.issn.1002-1175.2004.04.018
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 任侠 3 136 3.0 3.0
2 吕述望 信息安全国家重点实验室中国科学院研究生院 15 211 6.0 14.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (0)
共引文献  (0)
参考文献  (3)
节点文献
引证文献  (5)
同被引文献  (0)
二级引证文献  (0)
1995(1)
  • 参考文献(1)
  • 二级参考文献(0)
1999(1)
  • 参考文献(1)
  • 二级参考文献(0)
2002(1)
  • 参考文献(1)
  • 二级参考文献(0)
2004(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2007(2)
  • 引证文献(2)
  • 二级引证文献(0)
2008(2)
  • 引证文献(2)
  • 二级引证文献(0)
2009(1)
  • 引证文献(1)
  • 二级引证文献(0)
研究主题发展历程
节点文献
Strand空间
认证协议
强类型抽象
类型缺陷
认证测试
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
中国科学院大学学报
双月刊
2095-6134
10-1131/N
大16开
北京玉泉路19号(甲)
82-583
1984
chi
出版文献量(篇)
2247
总下载数(次)
2
总被引数(次)
15229
相关基金
国家重点基础研究发展计划(973计划)
英文译名:National Basic Research Program of China
官方网址:http://www.973.gov.cn/
项目类型:
学科类型:农业
论文1v1指导