Bolignano电子支付协议的安全性分析

该文介绍了Bolignano电子支付协议,并用Kailar逻辑对其安全性作了较为详细的分析,进而对Kailar逻辑也作了一些讨论。
电子商务协议 BAN逻辑 Kailar逻辑
李益发 南湘浩
信息工程大学信息安全学院
国内会议
苏州
中文
115~120
1999-10-01(万方平台首次上网日期,不代表论文的发表时间)
电子商务协议 BAN逻辑 Kailar逻辑
李益发 南湘浩
信息工程大学信息安全学院
国内会议
苏州
中文
115~120
1999-10-01(万方平台首次上网日期,不代表论文的发表时间)