会议专题

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

该文介绍了Bolignano电子支付协议,并用Kailar逻辑对其安全性作了较为详细的分析,进而对Kailar逻辑也作了一些讨论。

电子商务协议 BAN逻辑 Kailar逻辑

李益发 南湘浩

信息工程大学信息安全学院

国内会议

中国计算机学会信息保密专业委员会年会

苏州

中文

115~120

1999-10-01(万方平台首次上网日期,不代表论文的发表时间)