%0 Journal Article
%T Formal Research of Electronic Payment Protocol Based on pi-like Calculus
基于类pi演算的电子支付协议安全性形式化研究
%A GU Yong-gen
%A LI Guo-qiang
%A WANG Guo-jun
%A
顾永跟
%A 李国强
%A 王国钧
%J 计算机应用研究
%D 2006
%I
%X 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.
%K pi-like Calculus
%K Electronic Payment Protocol
%K Authentication
%K Anonymity
类pi演算
%K 电子支付协议
%K 认证性
%K 匿名性
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=A9D9BE08CDC44144BE8B5685705D3AED&aid=4155416CEF551CB6&yid=37904DC365DD7266&vid=EA389574707BDED3&iid=38B194292C032A66&sid=BC12EA701C895178&eid=B91E8C6D6FE990DB&journal_id=1001-3695&journal_name=计算机应用研究&referenced_num=1&reference_num=8