Formal Research of Electronic Payment Protocol Based on pi-like Calculus
GU Yong-gen, Guoqiang Li · Jisuanji yingyong yanjiu · 2006
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.