计算机工程与应用2005，Vol.41Issue(6)：139-143,5.
安全支付协议的设计与验证研究
On the Design and Verification of Secure Payment Protocol
摘要
关键词
安全支付协议 SEP 安全性 原子性 符号模型验证 SMV分类
信息技术与安全科学引用本文复制引用
彭勋,董荣胜,郭云川,蔡国永..安全支付协议的设计与验证研究[J].计算机工程与应用,2005,41(6):139-143,5.基金项目
广西自然科学基金(编号:0229051)的资助 （编号:0229051）
