基于SPIN的远程证明协议的形式化分析及改进

文件格式： PDF文档
文件大小： 1.53 MB
资源类别： 计算机
关键词： 远程   基于   改进   协议   形式化
进入标准下载页面
本资源下载需 1 点

论文简介

基于SPIN的远程证明协议的形式化分析及改进
相关推荐