电子商务协议可追究性的Kailar分析与改进_物流资讯网 关键词： 可追究性；Kailar逻辑；初始化假设 [gap=4569]Key Words： accountability； kailar logic； initial state assumption
基于40个网页-相关网页
Aiming at the formal analysis of the accountability and fairness in the payment protocol, the thesis proposes a formal analysis approach based on CPN (Coloured Petri Nets).
针对目前许多形式化分析方法不能有效分析支付协议可追究性和公平性的问题,本文提出一种基于CPN(有色Petri网)的支付协议形式化分析方法。
参考来源 - 移动支付系统安全的若干关键问题研究·2,447,543篇论文数据，部分数据来源于NoteExpress
在本专栏中，我对有关可追究性和保密问题给出了一些回答建议。
In the course of this column, I suggest some answers to those questions concerning accountability and privacy.
提出了一种新颖的形式化方法，可以用于分析电子商务协议的安全性质，例如可追究性和公平性。
A formal method which can be used to analyze security properties such as accountability and fairness in electronic commerce protocols is presented.
可追究性是安全电子商务协议必须遵循的重要原则之一，乐观公平交换协议是一类重要的电子商务协议。
Accountability is one of main properties that security electronic commerce protocols must satisfy. Optimistic fair exchange protocols are important electronic commerce protocols.
应用推荐