期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
无线网络安全协议的形式化分析方法
下载PDF
职称材料
导出
摘要
随着无线网络应用的迅速发展,网络安全的问题也悄然的走了进来。采用形式化方法设计及分析无线环境下的安全协议得到快速的发展以及广泛的应用。本文针对无线网络安全协议的形式化进行了分析和探讨。
作者
曾伟
机构地区
西华师范大学网络中心
出处
《科技创新与应用》
2012年第24期79-79,共1页
Technology Innovation and Application
关键词
无线网络安全
形式化
安全分析
安全协议
分类号
TP393.08 [自动化与计算机技术—计算机应用技术]
引文网络
相关文献
节点文献
二级参考文献
9
参考文献
1
共引文献
2
同被引文献
0
引证文献
0
二级引证文献
0
参考文献
1
1
李静,肖美华.
网络认证协议攻击的非形式化分析[J]
.计算机工程与应用,2006,42(22):112-115.
被引量:3
二级参考文献
9
1
肖美华,薛锦云.
基于SPIN/Promela的并发系统验证[J]
.计算机科学,2004,31(8):201-203.
被引量:20
2
Needham R,Schroeder M.Using encryption for authentication in large networks of computers[J].Communications of the ACM,1978 ;21(12):993~999
3
Clarke E M,Grumberg O,Peled D A.Model checking[M].Cambridge Massachusetts:The MIT Press,1999:1~295
4
Holzmann G J.The SPIN Model Checker[M].Addison-Wesley,2003:1~535
5
王贵林,卿斯汉,周展飞.
认证协议的一些新攻击方法[J]
.软件学报,2001,12(6):907-913.
被引量:23
6
张玉清,吴建平,李星.
模型检测技术和密码协议分析[J]
.计算机科学,2001,28(8):60-62.
被引量:2
7
林惠民,张文辉.
模型检测:理论、方法与应用[J]
.电子学报,2002,30(12A):1907-1912.
被引量:163
8
林贤金,胡山立.
认证协议攻击与非形式化分析[J]
.小型微型计算机系统,2003,24(11):1912-1915.
被引量:6
9
卿斯汉.
安全协议20年研究进展[J]
.软件学报,2003,14(10):1740-1752.
被引量:117
共引文献
2
1
熊昊,徐杰.
Kerberos协议安全性的SPIN分析[J]
.现代计算机,2008,14(10):110-112.
2
王巍,曾华朴,黄艳洋.
基于模型检测的SSL协议形式化验证[J]
.集美大学学报(自然科学版),2014,19(5):386-392.
1
郭宇燕.
安全协议的形式化分析方法初探[J]
.内江科技,2007,28(11):136-136.
2
泡泡.
网随心动——GPRS无线网络应用(续)[J]
.软件世界(PC任我行),2003(5):72-74.
3
黄亮.
蜜罐技术在无线网络安全中的应用研究[J]
.无线互联科技,2012,9(3):9-9.
4
李炜.
无线网络安全问题及其应对[J]
.计算机光盘软件与应用,2010(14):80-80.
5
李燕.
智能楼宇无线网络应用的初探[J]
.中国电子商务,2012(9):47-47.
被引量:1
6
刘超,王炳晨.
应用@无线[J]
.微电脑世界,2003(7):50-51.
7
李志刚.
火灾报警系统数据输出协议的形式化分析[J]
.计算机系统应用,2014,23(11):218-223.
8
王航伟.
网络安全措施在虚拟局域网和无线网络中的应用[J]
.电子技术与软件工程,2015(19):225-225.
9
陈远.
基于ZigBee无线网络应用的探究[J]
.硅谷,2008,1(23):60-60.
10
刘金花.
校园无线网络的安全防御技术探讨[J]
.中国管理信息化,2016,19(17):169-169.
科技创新与应用
2012年 第24期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部