安全协议的分析方法 |
| |
引用本文: | 陶宏才.安全协议的分析方法[J].学术动态(成都),2008(1):18-21. |
| |
作者姓名: | 陶宏才 |
| |
摘 要: | 安全协议是否存在安全缺陷,或者能否满足其安全目标,或者是否安全,需要通过各种方法来分析验证。目前,对于安全协议的分析主要有3种方法,即:基于推理的结构性方法(Inference—construction methods)、基于攻击的结构性方法(Attack—construction methods)和基于证明的结构性方法(Proof—construction methods)。
|
关 键 词: | 安全协议 安全缺陷 安全目标 结构 攻击 |
本文献已被 维普 等数据库收录! |
|