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

【Author】 Guo, Xu

【Source】FRONTIERS OF INFORMATION TECHNOLOGY & ELECTRONIC ENGINEERING

【影响因子】2.526

【Abstract】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 epsilon, how can the protocol parameters be specified to ensure fairness-is answered.

【Keywords】Non-repudiation; Fairness analysis; Probabilistic model checking; PRISM; TP301; 2

【发表时间】2022 JUN

【收录时间】2022-07-17

【文献类型】实验仿真

【主题类别】

区块链应用-实体经济-其他