| 安全协议和网络攻击分析 |
| |
| 引用本文： | 徐梦茗,肖聪,唐六华,黄金涛.安全协议和网络攻击分析[J].信息安全与通信保密,2007(2):50-51. |
| |
| 作者姓名： | 徐梦茗 肖聪 唐六华 黄金涛 |
| |
| 作者单位： | 1. 现代通信国家重点实验室,四川,成都,610041
2. 总参谋部通信部驻成都地区军代室,四川,成都,610041 |
| |
| 摘 要： | 安全协议提供安全服务,是保证网络安全的基础。文章通过形式化分析方法,采用AVISPA分析工具对安全协议进行分析,总结出网络攻击方式的类型及其相应的解决办法。
|
| 关 键 词： | 安全协议 认证 攻击 消息 |
| 文章编号： | 1009-8054(2007)02-0050-02 |
| 修稿时间： | 2006年9月19日 |
Analysis of security protocols and attacks in network |
| |
| XU Mengming,XIAO Cong,TANG Liuhua,HUANG Jintao.Analysis of security protocols and attacks in network[J].China Information Security,2007(2):50-51. |
| |
| Authors: | XU Mengming XIAO Cong TANG Liuhua HUANG Jintao |
| |
| 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. |
| |
| Keywords: | Security protocol Authentication Attack Message |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
