2022, Volume 23, Issue 6
Frontiers of Information Technology & Electronic Engineering >> 2022, Volume 23, Issue 6 doi: 10.1631/FITEE.2100413
Fairness analysis of extra-gain guilty of a non-repudiation protocol
上海电机学院电子信息学院，中国上海市，201306
Next Previous
Abstract
Many traditional applications can be refined thanks to the development of blockchain technology. One of these services is , in which participants in a communication process cannot deny their involvement. Due to the vulnerabilities of the protocols, one of the parties involved in the communication can often avoid 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 . 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.
Keywords
Non-repudiation ; Fairness analysis ; Probabilistic model checking ; PRISM
京公网安备 11010502051620号
