CPAL 相关硕士博士期刊学术论文 - 搜论网

CPAL相关论文

加密协议的一种分析方法

在本论文中我们提出了一种通用的，可扩展的分析和检查加密协议的方法。我们的方法就是用CPAL（Cryptographic Protocol Analysis Lang......

学位

加密协议 CPAL 形式话义最弱前置条件

基于CPAL-ES的SET协议研究

　　本文介绍了安全协议分析语言(CPAL)以及SET协议的支付过程，并且在安全协议分析语言环境系统(CPAL-ES)中对SET进行检验，从而证实......

会议

分析语言安全协议 SET协议环境系统 CPAL 支付检验过程

看过本文同时还关注