Fairness analysis of extra-gain guilty of a non-repudiation protocol  

作　　者：Xu GUO 

机构地区：[1]Department of Electronics and Information,Shanghai Dianji University,Shanghai 201306,China

出　　处：《Frontiers of Information Technology & Electronic Engineering》2022年第6期893-908,共16页信息与电子工程前沿（英文版）

摘　　要：Many traditional applications can be refined thanks to the development of blockchain technology. One of these services is non-repudiation, in which participants in a communication process cannot deny their involvement.Due to the vulnerabilities of the non-repudiation protocols, one of the parties involved in the communication can often avoid non-repudiation rules and obtain the expected information to the detriment of the interests of the other party, resulting in adverse effects. This paper studies the fairness guarantee quantitatively through probabilistic model checking. E-fairness is measured by modeling the protocol in probabilistic timed automata and verifying the appropriate property specified in the probabilistic computation tree logic. Furthermore, our analysis proposes insight for choosing suitable values for different parameters associated with the protocol so that a certain degree of fairness can be obtained. Therefore, the reverse question—for a certain degree of fairness ε, how can the protocol parameters be specified to ensure fairness—is answered.

关 键 词：NON-REPUDIATION Fairness analysis Probabilistic model checking PRISM 

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