| 安全协议实施安全性分析综述 |
| 孟博;鲁金钿;王德军;何旭东; |
| 关键词：网络空间安全;安全协议实施;程序验证;模型抽取;网络轨迹;指令分析 |
| 主要内容：安全协议是网络空间安全的重要组成部分,安全协议实施是安全协议的最终表现形式。介绍了安全协议实施安全性分析的意义,分别按照三个前提条件:能够获取安全协议客户端实施和安全协议服务器端实施、仅能够获取安全协议客户端实施、不能获取安全协议客户端与安 |
| 《山东大学学报(理学版)》 2018,53(01):1-18 |
| 全文下载请进入http://hightech.stlib.cn/tpi_1/sysasp/include/index.asp |
微信公众号