Formal Research of Electronic Payment Protocol Based on pi-like Calculus
基于类pi演算的电子支付协议安全性形式化研究

Design of a protocol is a difficult and error-prone task, thus the use of formal methods that allow for the verification of such protocols has received increasing attention. In this paper, using pi-like calculus to verify authentication and anonymity properties of electronic payment protocols.