| 基于无线通信的ASK协议的建模分析 |
| |
| 引用本文： | 胡晓辉,方政. 基于无线通信的ASK协议的建模分析[J]. 信息通信, 2015, 0(4) |
| |
| 作者姓名： | 胡晓辉 方政 |
| |
| 作者单位： | 兰州交通大学电子与信息工程学院,甘肃兰州,730070 |
| |
| 摘 要： | 安全协议的建模分析与设计一般采用形式化的方法进行,这是许多经典安全协议存在的缺陷。因此,文章提出采用形式化验证的方法对一种复杂的无线移动安全协议-ASK协议进行建模和验证,针对ASK协议所存在的缺陷,我们提出了改进之后的协议,并对改进后的协议进行了验证,结果表明,新的协议是安全的,是能够抵御重放攻击的。
|
| 关 键 词： | ASK协议 形式化方法 验证 通信顺序进程 |
Analysis and Modification of ASK Protocol Based On Wireless Communication |
| |
| PHILAVANHPHONVIPHONE,HU Xiaohui,Fang Zheng. Analysis and Modification of ASK Protocol Based On Wireless Communication[J]. Information & Communications, 2015, 0(4) |
| |
| Authors: | PHILAVANHPHONVIPHONE HU Xiaohui Fang Zheng |
| |
| Abstract: | |
| |
| Keywords: | ASK Protocol Formal Methods Verification CSP |
| 本文献已被 万方数据 等数据库收录！ |
|
