The server is under maintenance between 08:00 to 12:00 (GMT+08:00), and please visit later.
We apologize for any inconvenience caused
Login  | Sign Up  |  Oriprobe Inc. Feed
China/Asia On Demand
Journal Articles
Laws/Policies/Regulations
Companies/Products
Bookmark and Share
dian zi zhi fu ye xu yao xie yi
Author(s): 
Pages: 47
Year: Issue:  2
Journal: China Internet

Abstract: <正> 电子支付协议是一种特殊的安全协议,利用形式化方法进行电子支付协议分析是电子支付研究的一个重要方面。电子支付协议结构较认证协议远为复杂,协议执行不一定是顺序结构,有时含有条件分支或循环等非顺序执行。一个电子交易协议还可能是若干子协议的复合体。因此,电子支付协议的形式化分析迥异干认证协议,而有其自身特色,需要对形式逻辑进行扩展。
Related Articles
No related articles found