解云峰
【姓名】 解云峰
【职称】
【研究领域】 互联网技术;计算机软件及计算机应用;
【研究方向】 安全协议的形式化分析
【发表文献关键词】 Needham-Schroeder协议,BAN逻辑,主动蠕虫,扫描策略,传播模型,传染病模型,安全协议,主机,会话密钥,形式化分析,抗蠕虫,因特网,认证服务器,随机扫描,蠕虫感染,传播特性,协议,单位...
【工作单位】 华中科技大学
【曾工作单位】 华中科技大学;
【所在地域】 湖北武汉
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/3 0 2 1 5 375
中国期刊全文数据库    共找到2篇
[1]李汉菊;姜汇军;解云峰;.一种新的主动蠕虫传播模型[J]计算机工程与科学.2007,(08)
[2]李之棠,石曙东,解云峰.NS协议的形式化分析与改进[J]计算机工程与科学.2004,(02)
更多
中国重要会议全文数据库    共找到1篇
[1]解云峰;李之棠;石曙东;.基于串空间模型的安全协议形式化分析方法研究[A].全国网络与信息安全技术研讨会’2004论文集.2004-08-01
更多