基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
通过对Woo-Lain协议自身特点的分析,把协议分为信息收集和主体认证两部分;并参考原协议的攻击方式,基于串空间模型运用极小元理论对改进Woo-Lam协议的认证部分进行认证性分析.
推荐文章
串空间和认证测试在协议分析中的应用
安全协议
串空间
认证测试
x.509
基于 Spin/Promela 的 Woo-Lam 协议安全性质高效验证磁
形式化方法
模型检测
Woo-Lam 协议
枚举法
打表法
NSSK协议的串空间模型及分析
安全协议
串空间
NSSK协议
基于带标记串空间模型的安全协议分析
串空间
安全协议
类型缺陷
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 基于串空间极小元理论的改进Woo-Lam协议的认证性分析
来源期刊 电脑编程技巧与维护 学科 工学
关键词 串空间 极小元 认证性
年,卷(期) 2010,(4) 所属期刊栏目 软件开发与设计
研究方向 页码范围 50-52
页数 3页 分类号 TP3
字数 3286字 语种 中文
DOI 10.3969/j.issn.1006-4052.2010.04.021
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 王猛 淮北煤炭师范学院计算机科学与技术学院 9 17 3.0 3.0
2 顾维娜 淮北煤炭师范学院计算机科学与技术学院 6 6 2.0 2.0
3 余磊 淮北煤炭师范学院计算机科学与技术学院 3 4 1.0 1.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (0)
共引文献  (0)
参考文献  (1)
节点文献
引证文献  (2)
同被引文献  (0)
二级引证文献  (2)
1999(1)
  • 参考文献(1)
  • 二级参考文献(0)
2010(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2012(1)
  • 引证文献(1)
  • 二级引证文献(0)
2013(2)
  • 引证文献(0)
  • 二级引证文献(2)
2014(1)
  • 引证文献(1)
  • 二级引证文献(0)
研究主题发展历程
节点文献
串空间
极小元
认证性
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
电脑编程技巧与维护
月刊
1006-4052
11-3411/TP
大16开
北京市海淀区长春桥路5号六号楼1209室
82-715
1994
chi
出版文献量(篇)
14554
总下载数(次)
80
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导