作者:
基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
总结了安全协议的20年研究进展情况,指出形式化方法在安全协议的设计与分析中的重要应用.对安全协议的若干热点研究方向进行了归纳和展望.
推荐文章
SOAP协议性能与安全的研究进展
网络服务
简单对象访问协议
性能
安全
星际网络通信协议研究进展综述
星际网络
通信协议体系结构
容忍延迟网络
可靠传输协议
路由算法
网络安全
跨层设计
协议状态机推断技术研究进展
协议逆向工程
协议状态机推断
正则语言学习
指令序列
报文序列
协议逆向工程研究进展
协议逆向工程
多序列比对
文法推断
动态污点分析
数据流分析
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 安全协议20年研究进展
来源期刊 软件学报 学科 工学
关键词 安全协议 设计 分析 形式化方法
年,卷(期) 2003,(10) 所属期刊栏目 计算机网络与信息安全
研究方向 页码范围 1740-1752
页数 13页 分类号 TP309
字数 12046字 语种 中文
DOI
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 卿斯汉 145 4238 29.0 62.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (23)
共引文献  (125)
参考文献  (24)
节点文献
引证文献  (315)
同被引文献  (75)
二级引证文献  (542)
1976(2)
  • 参考文献(1)
  • 二级参考文献(1)
1978(3)
  • 参考文献(1)
  • 二级参考文献(2)
1981(2)
  • 参考文献(1)
  • 二级参考文献(1)
1983(2)
  • 参考文献(1)
  • 二级参考文献(1)
1987(2)
  • 参考文献(1)
  • 二级参考文献(1)
1989(2)
  • 参考文献(1)
  • 二级参考文献(1)
1990(3)
  • 参考文献(1)
  • 二级参考文献(2)
1992(3)
  • 参考文献(2)
  • 二级参考文献(1)
1993(2)
  • 参考文献(2)
  • 二级参考文献(0)
1994(2)
  • 参考文献(2)
  • 二级参考文献(0)
1995(1)
  • 参考文献(1)
  • 二级参考文献(0)
1996(12)
  • 参考文献(3)
  • 二级参考文献(9)
1998(1)
  • 参考文献(1)
  • 二级参考文献(0)
1999(4)
  • 参考文献(2)
  • 二级参考文献(2)
2000(2)
  • 参考文献(1)
  • 二级参考文献(1)
2001(3)
  • 参考文献(2)
  • 二级参考文献(1)
2003(1)
  • 参考文献(1)
  • 二级参考文献(0)
2003(5)
  • 参考文献(1)
  • 二级参考文献(0)
  • 引证文献(3)
  • 二级引证文献(1)
2003(4)
  • 引证文献(3)
  • 二级引证文献(1)
2004(20)
  • 引证文献(12)
  • 二级引证文献(8)
2005(51)
  • 引证文献(28)
  • 二级引证文献(23)
2006(70)
  • 引证文献(36)
  • 二级引证文献(34)
2007(103)
  • 引证文献(52)
  • 二级引证文献(51)
2008(101)
  • 引证文献(40)
  • 二级引证文献(61)
2009(106)
  • 引证文献(34)
  • 二级引证文献(72)
2010(71)
  • 引证文献(29)
  • 二级引证文献(42)
2011(54)
  • 引证文献(21)
  • 二级引证文献(33)
2012(33)
  • 引证文献(11)
  • 二级引证文献(22)
2013(50)
  • 引证文献(12)
  • 二级引证文献(38)
2014(56)
  • 引证文献(10)
  • 二级引证文献(46)
2015(51)
  • 引证文献(11)
  • 二级引证文献(40)
2016(27)
  • 引证文献(6)
  • 二级引证文献(21)
2017(24)
  • 引证文献(3)
  • 二级引证文献(21)
2018(20)
  • 引证文献(4)
  • 二级引证文献(16)
2019(13)
  • 引证文献(2)
  • 二级引证文献(11)
2020(3)
  • 引证文献(1)
  • 二级引证文献(2)
研究主题发展历程
节点文献
安全协议
设计
分析
形式化方法
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
软件学报
月刊
1000-9825
11-2560/TP
16开
北京8718信箱
82-367
1990
chi
出版文献量(篇)
5820
总下载数(次)
36
总被引数(次)
226394
相关基金
国家自然科学基金
英文译名:the National Natural Science Foundation of China
官方网址:http://www.nsfc.gov.cn/
项目类型:青年科学基金项目(面上项目)
学科类型:数理科学
国家重点基础研究发展计划(973计划)
英文译名:National Basic Research Program of China
官方网址:http://www.973.gov.cn/
项目类型:
学科类型:农业
论文1v1指导