欢迎访问学兔兔论文下载网,学习、交流 分享 !

返回首页 |
当前位置: 首页 > 论文文档>电子信息 >Needham-Schroeder协议的认证测试方法形式化分析

Needham-Schroeder协议的认证测试方法形式化分析

收藏
  • 大小:1.27 MB
  • 语言:中文版
  • 格式: PDF文档
  • 类别:电子信息
关键词:测试   认证   协议   形式化   分析
资源简介
  • Needham-Schroeder协议的认证测试方法形式化分析,资料为PDF文档格式.
  • 本文档关键词:测试,认证,协议,形式化,分析