|
|||||
|
|
| 密码协议的形式化分析与设计原则 | |
| 引用本文： | 徐晓东,岳殿武.密码协议的形式化分析与设计原则[J].南京邮电学院学报(自然科学版),2001,21(3):28-32. |
| 作者姓名： | 徐晓东 岳殿武 |
| 作者单位： | 南京邮电学院通信工程系，江苏南京210003 |
| 摘 要： | 介绍了密码协议的形式化分析方法和设计原则，着重介绍了BAN逻辑及其发展以及一些重要的协议设计原则，并提出了作的一些观点。 |
| 关 键 词： | 密码协议 形式化分析 保密通信 |
| 本文献已被 维普 等数据库收录！ | |
|
||||||||||||||||||||||
|
||||||||||||||||||||||
|
||||||||||||||||||||||
|
|
|
|
| 设为首页 | 免责声明 | 关于勤云 | 加入收藏 |
|
Copyright©北京勤云科技发展有限公司 京ICP备09084417号 |