|
|||||
|
|
| 安全协议的自动分析技术 | |
| 引用本文： | 张庆海.安全协议的自动分析技术[J].奇闻怪事,2009(7). |
| 作者姓名： | 张庆海 |
| 作者单位： | 淮阴工学院计算科学系,江苏,淮安,223003 |
| 摘 要： | 安全协议的形式化研究成为一个热点领域,出现了很多的形式化和逻辑的研究方法.本文对于安全协议方法和技术做了介绍和总结. |
| 关 键 词： | 安全协议 模型检测 逻辑推证 定理推证 |
| 本文献已被 万方数据 等数据库收录！ | |
|
||||||||||||||||||||||
|
||||||||||||||||||||||
|
||||||||||||||||||||||
|
|
|
|
| 设为首页 | 免责声明 | 关于勤云 | 加入收藏 |
|
Copyright©北京勤云科技发展有限公司 京ICP备09084417号 |