信息工程大学学报2000，Vol.1Issue(2)：26-28,3.
电子支付协议安全性的形式化分析
The Formal Verification of the Security of the Electronic Commerce Protocols
李益发 1谢文海 2张彦肖1
作者信息
- 1. 信息工程大学信息安全学院,河南,郑州,450002
- 2. 深圳证券交易所,深圳,518000
- 折叠
摘要
关键词
电子商务协议/BAN逻辑/Kailar逻辑分类
数理科学引用本文复制引用
李益发,谢文海,张彦肖..电子支付协议安全性的形式化分析[J].信息工程大学学报,2000,1(2):26-28,3.
