计算机工程与科学2009，Vol.31Issue(9)：13-16,4.DOI:10.3969/j.issn.1007-130X.2009.09.005
一种增强电子商务协议安全性的形式化分析方法
A Formal Analysis Method for Enhancing the Security of E-Commerce Protocols
摘要
关键词
半规则实体/串空间/TLS/IKE分类
信息技术与安全科学引用本文复制引用
杨捷,毋国庆,左保河,齐德昱..一种增强电子商务协议安全性的形式化分析方法[J].计算机工程与科学,2009,31(9):13-16,4.基金项目
国家自然科学基金资助项目(60873078) （60873078）
华南理工大学研究生重点课程建设项目(B07Y3080020) （B07Y3080020）
校精品课程(x2rj-Y1080150,Y1080160) （x2rj-Y1080150,Y1080160）
