基于类pi演算的电子支付协议安全性形式化研究  

Formal Research of Electronic Payment Protocol Based on pi-like Calculus

作　　者：顾永跟[1] 李国强[1] 王国钧[2] 

机构地区：[1]上海交通大学计算机系,上海200030 [2]湖州师范学院计算机系,浙江湖州313000

出　　处：《计算机应用研究》2006年第3期22-24,共3页Application Research of Computers

基　　金：国家自然科学基金资助项目(60473006)

摘　　要：设计一个满足安全需求的协议非常困难,并且极易出错,因此利用形式化方法来检验安全协议引起了人们极大的关注。使用了类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.

关 键 词：类pi演算 电子支付协议 认证性 匿名性 

分 类 号：TP301[自动化与计算机技术—计算机系统结构] TP309[自动化与计算机技术—计算机科学与技术]