论文研究 调和安全协议两种分析方法的理论研究.pdf 上传者：houguof 2020-08-05 16:28:27上传 PDF文件 213.98KB 热度 41次 安全协议形式化分析方法分为两种,即符号方法和计算方法。比较两种方法,它们各有优缺点。目前,将两者进行组合优化,建立统一的调和方法框架对安全协议进行分析是研究的热点和难点。针对该问题,对目前国际上流行的相关方法进行了分类总结,并对涉及到的技术手段进行了全面分析。 下载地址 用户评论 更多下载 下载地址 立即下载 用户评论 发表评论
