|
|||||
|
|
| 安全协议的形式化验证方法概述 | |
| 作者姓名： | 张慧 郑超美 |
| 作者单位： | 南昌大学信息工程学院;南昌大学信息工程学院 |
| 摘 要： | 安全协议验证是网络安全领域中重大课题之一,目前对安全协议进行分析的主流方法是形式化方法。该文对现在常用的几种形式化验证方法进行了概述和分析,最后针对形式化技术在该领域的发展前景提出了自己的见解。 |
| 关 键 词： | 安全协议 验证 形式化方法 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |
|
||||||||||||||||||
|
||||||||||||||||||
|
||||||||||||||||||
|
|
|
|
| 设为首页 | 免责声明 | 关于勤云 | 加入收藏 |
|
Copyright©北京勤云科技发展有限公司 京ICP备09084417号 |