论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 科教文艺期刊 \
- 大学学报期刊 \
- 中国科学院大学学报期刊 \
基于Strand空间分析具有类型缺陷的认证协议
基于Strand空间分析具有类型缺陷的认证协议
基本信息来源于合作网站，原文需代理用户跳转至来源网站获取
摘要：
通过去除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 | ||
五维指标
引文网络
引文网络
二级参考文献 (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空间
认证协议
强类型抽象
类型缺陷
认证测试
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
中国科学院大学学报
主办单位：
中国科学院大学
出版周期：
双月刊
ISSN：
2095-6134
CN：
10-1131/N
开本：
大16开
出版地：
北京玉泉路19号（甲）
邮发代号：
82-583
创刊时间：
1984
语种：
chi
出版文献量（篇）
2247
总下载数（次）
2
总被引数（次）
15229
期刊文献
相关文献
推荐文献
- 期刊分类
- 期刊（年）
- 期刊（期）
- 期刊推荐
中国科学院大学学报2022
中国科学院大学学报2021
中国科学院大学学报2020
中国科学院大学学报2019
中国科学院大学学报2018
中国科学院大学学报2017
中国科学院大学学报2016
中国科学院大学学报2015
中国科学院大学学报2014
中国科学院大学学报2013
中国科学院大学学报2012
中国科学院大学学报2011
中国科学院大学学报2010
中国科学院大学学报2009
中国科学院大学学报2008
中国科学院大学学报2007
中国科学院大学学报2006
中国科学院大学学报2005
中国科学院大学学报2004
中国科学院大学学报2003
中国科学院大学学报2002
中国科学院大学学报2001
