|国家科技期刊平台
| 注册
首页|期刊导航|南京邮电学院学报(自然科学版)|密码协议的形式化分析与设计原则

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

徐晓东 岳殿武

南京邮电学院学报(自然科学版)2001，Vol.21Issue(3)：28-32,5.
✕
南京邮电学院学报(自然科学版)2001，Vol.21Issue(3)：28-32,5.

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

Formal Analysis and Design Principles of Cryptographic Protocols

徐晓东 1岳殿武1

作者信息

  • 1. 南京邮电学院通信工程系,
  • 折叠

摘要

关键词

BAN逻辑/密码协议分析/密码协议设计/鉴权/认证协议

分类

信息技术与安全科学

引用本文复制引用

徐晓东,岳殿武..密码协议的形式化分析与设计原则[J].南京邮电学院学报(自然科学版),2001,21(3):28-32,5.

南京邮电学院学报(自然科学版)

1673-5439

访问量1
|
下载量0
段落导航相关论文