计算机工程与应用2005，Vol.41Issue(32)：118-120,148,4.
改进的Kailar逻辑在协议分析中的应用
Application of Improved Kailar Logic in Protocol Analysis
摘要
关键词
电子商务/协议/可追究性/公平性/形式化分析分类
信息技术与安全科学引用本文复制引用
余昭平,张岚..改进的Kailar逻辑在协议分析中的应用[J].计算机工程与应用,2005,41(32):118-120,148,4.基金项目
现代通信国家重点实验室基金(编号:5146010103JB0601,5143603ZDIZS0601) （编号:5146010103JB0601,5143603ZDIZS0601）
