密码协议的形式化分析与设计原则

• 作者: 岳殿武 徐晓东
• 来源期刊: 南京邮电学院学报(自然科学版)
• 学科: 工学
• 关键词: BAN逻辑 密码协议分析 密码协议设计 鉴权 认证协议
• 年，卷（期）: 2001,（3）
• 所属期刊栏目: 学术论文
• 页码范围: 28-32
• 页数: 5页
• 分类号: TN918.1
• 字数: 5258字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-5439.2001.03.006

摘要

介绍了密码协议的形式化分析方法和设计原则,着重介绍了BAN逻辑及其发展以及一些重要的协议设计原则,并提出了作者的一些观点.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	岳殿武	南京邮电学院通信工程系	8	78	4.0	8.0
2	徐晓东	南京邮电学院通信工程系	2	15	1.0	2.0