节点文献

安全协议和网络攻击分析

Analysis of security protocols and attacks in network

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具，请取消加速工具后下载。

【作者】 徐梦茗； 肖聪； 唐六华； 黄金涛；

【Author】 XU Mengming1, XIAO Cong2, TANG Liuhua1, HUANG Jintao1 (1National Laboratory for Modern Communication, Chengdu 610041, China; 2Military Deputation of General Staff in Chengdu area, Chengdu 610041, China)

【机构】 现代通信国家重点实验室； 总参谋部通信部驻成都地区军代室； 现代通信国家重点实验室 四川成都610041； 四川成都610041；

【摘要】 安全协议提供安全服务,是保证网络安全的基础。文章通过形式化分析方法,采用AVISPA分析工具对安全协议进行分析,总结出网络攻击方式的类型及其相应的解决办法。

【Abstract】 Security protocols are the basis of security which provide security services in network.. We analyse security protocols adopting AVISPA analysis tool, according to formalization analysis method, and find out the types of attacks and corresponding solutions.

【关键词】 安全协议； 认证； 攻击； 消息；
【Key words】 Security protocol； Authentication； Attack； Message；
  • 【文献出处】 信息安全与通信保密 ,China Information Security , 编辑部邮箱 ,2007年02期
  • 【分类号】TP393.08
  • 【被引频次】15
  • 【下载频次】357
打印本页
节点文献中：