安全协议的分析方法

• 作者: 陶宏才
• 来源期刊: 学术动态（成都）
• 学科: 工学
• 关键词: 安全协议 安全缺陷 安全目标 结构 攻击
• 年，卷（期）: 2008,（1）
• 页码范围: 18-21
• 页数: 4页
• 分类号: TP393.08

摘要

安全协议是否存在安全缺陷，或者能否满足其安全目标，或者是否安全，需要通过各种方法来分析验证。目前，对于安全协议的分析主要有3种方法，即：基于推理的结构性方法（Inference—construction methods）、基于攻击的结构性方法（Attack—construction methods）和基于证明的结构性方法（Proof—construction methods）。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陶宏才		2	0	0.0	0.0