Skip to main content
NCBI home page
Springer Nature - PMC COVID-19 Collection logoLink to Springer Nature - PMC COVID-19 Collection
. 2022 Jul 5;23(6):893–908. doi: 10.1631/FITEE.2100413

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

一种不可否认协议额外增益的公平性分析

Xu Guo 1,✉
PMCID: PMC9255451

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 ε, how can the protocol parameters be specified to ensure fairness—is answered.

Key words: Non-repudiation, Fairness analysis, Probabilistic model checking, PRISM

Footnotes

Compliance with ethics guidelines

Xu GUO declares that he has no conflict of interest.

References

  1. Aldini A, Gorrieri R, 2002. Security analysis of a probabilistic non-repudiation protocol. Proc 2nd Joint Int Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification, p.17–36. 10.1007/3-540-45605-8_3
  2. Allen DWE, Berg C, Markey-Towler B, et al. Blockchain and the evolution of institutional technologies: implications for innovation policy. Res Policy. 2020;49(1):103865. doi: 10.1016/j.respol.2019.103865. [DOI] [Google Scholar]
  3. Américo A, Alvim MS, McIver A, 2018. An algebraic approach for reasoning about information flow. Proc 22nd Int Symp on Formal Methods, p.55–72. 10.1007/978-3-319-95582-7_4
  4. Baza M, Lasla N, Mahmoud MMEA, et al. B-Ride: ride sharing with privacy-preservation, trust and fair payment atop public blockchain. IEEE Trans Netw Sci Eng. 2021;8(2):1214–1229. doi: 10.1109/TNSE.2019.2959230. [DOI] [Google Scholar]
  5. Cederquist J, Corin R, Dashti MT, 2005. On the quest for impartiality: design and analysis of a fair non-repudiation protocol. Proc 7th Int Conf on Information and Communications Security, p.27–39. 10.1007/11602897_3
  6. Chatterjee K, Raman V. Assume-guarantee synthesis for digital contract signing. Formal Aspect Comput. 2014;26(4):825–859. doi: 10.1007/s00165-013-0283-6. [DOI] [Google Scholar]
  7. Christodoulou K, Christodoulou P, Zinonos Z, et al., 2020. Health information exchange with blockchain amid Covid-19-like pandemics. Proc 16th Int Conf on Distributed Computing in Sensor Systems, p.412–417. 10.1109/DCOSS49796.2020.00071
  8. Deng HY, Hu RF, Pray C, et al. Impact of government policies on private R&D investment in agricultural biotechnology: evidence from chemical and pesticide firms in China. Technol Forecast Soc Change. 2019;147:208–215. doi: 10.1016/j.techfore.2019.07.011. [DOI] [Google Scholar]
  9. Dinh TTA, Liu R, Zhang MH, et al. Untangling blockchain: a data processing view of blockchain systems. IEEE Trans Know Data Eng. 2018;30(7):1366–1385. doi: 10.1109/TKDE.2017.2781227. [DOI] [Google Scholar]
  10. Erhan M, Tarhan A, Ozsoy A, 2019. A conceptual model for blockchain-based software project information sharing. Proc Joint Proc Int Workshop on Software Measurement and Int Conf on Software Process and Product Measurement, p.1–14.
  11. Esfahani MM, Mohammed OA, 2018. Secure blockchain-based energy transaction framework in smart power systems. Proc 44th Annual Conf of the IEEE Industrial Electronics Society, p.260–264. 10.1109/IECON.2018.8591779
  12. Feng XQ, Ma JF, Miao YB, et al. Pruneable sharding-based blockchain protocol. Peer-to-Peer Netw Appl. 2019;12(4):934–950. doi: 10.1007/s12083-018-0685-6. [DOI] [Google Scholar]
  13. Griggs KN, Ossipova O, Kohlios CP, et al. Healthcare blockchain system using smart contracts for secure automated remote patient monitoring. J Med Syst. 2018;42(7):130. doi: 10.1007/s10916-018-0982-x. [DOI] [PubMed] [Google Scholar]
  14. Hang L, Kim DH. Design and implementation of an integrated IoT blockchain platform for sensing data integrity. Sensors. 2019;19(10):2228. doi: 10.3390/s19102228. [DOI] [PMC free article] [PubMed] [Google Scholar]
  15. Hansson H, Jonsson B. A logic for reasoning about time and reliability. Formal Aspect Comput. 1994;6(5):512–535. doi: 10.1007/BF01211866. [DOI] [Google Scholar]
  16. Henzinger TA, Nicollin X, Sifakis J, et al. Symbolic model checking for real-time systems. Inform Comput. 1994;111(2):193–244. doi: 10.1006/inco.1994.1045. [DOI] [Google Scholar]
  17. Kremer S, Markowitch O, 2000. Optimistic non-repudiable information exchange. Proc 21st Symp on Information Theory in the Benelux, p.139–146.
  18. Kremer S, Markowitch O, Zhou JY. An intensive survey of fair non-repudiation protocols. Comput Commun. 2002;25(17):1606–1621. doi: 10.1016/S0140-3664(02)00049-X. [DOI] [Google Scholar]
  19. Li TT, Ren W, Xiang YX, et al. FAPS: a fair, autonomous and privacy-preserving scheme for big data exchange based on oblivious transfer, ether cheque and smart contracts. Inform Sci. 2021;544:469–484. doi: 10.1016/j.ins.2020.08.116. [DOI] [Google Scholar]
  20. Litchfield A, Herbert J. ReSOLV: applying cryptocurrency blockchain methods to enable global cross-platform software license validation. Cryptography. 2018;2(2):10. doi: 10.3390/cryptography2020010. [DOI] [Google Scholar]
  21. Markowitch O, Roggeman Y, 1999. Probabilistic non-repudiation without trusted third party. Proc 2nd Conf on Security in Communication Networks, p.25–36.
  22. Mendiboure L, Chalouf MA, Krief F, 2020. A scalable blockchain-based approach for authentication and access control in software defined vehicular networks. Proc 29th Int Conf on Computer Communications and Networks, p.1–11. 10.1109/ICCCN49398.2020.9209661
  23. Mut-Puigserver M, Payeras-Capella MM, Cabot-Nadal MA, 2018. Blockchain-based fair certified notifications. Int Workshop on Cryptocurrencies and Blockchain Technology, p.20–37. 10.1007/978-3-030-00305-0_2
  24. Novo O. Blockchain meets IoT: an architecture for scalable access management in IoT. IEEE Internet Things J. 2018;5(2):1184–1195. doi: 10.1109/JIOT.2018.2812239. [DOI] [Google Scholar]
  25. Pérez-Solà C, Delgado-Segura S, Navarro-Arribas G, et al. Double-spending prevention for bitcoin zero-confirmation transactions. Int J Inform Secur. 2019;18(4):451–463. doi: 10.1007/s10207-018-0422-4. [DOI] [Google Scholar]
  26. Piramuthu S, 2017. RFID-based non-repudiation protocols for supply chains. Proc 3rd Int Conf on Future Network Systems and Security, p.56–69. 10.1007/978-3-319-65548-2_5
  27. Resiere D, Resiere D, Kallel H. Implementation of medical and scientific cooperation in the Caribbean using blockchain technology in coronavirus (Covid-19) pandemics. J Med Syst. 2020;44(7):123. doi: 10.1007/s10916-020-01589-4. [DOI] [PMC free article] [PubMed] [Google Scholar]
  28. Roscoe AW, Ryan PYA, 2017. Auditable PAKEs: approaching fair exchange without a TTP. Proc 25th Cambridge Int Workshop on Security Protocols, p.278–297. 10.1007/978-3-319-71075-4_31
  29. Ruland KC, Sassmannshausen J, 2015. Non-repudiation services for the MMS protocol of IEC 61850. Proc 2nd Int Conf on Research in Security Standardisation, p.70–85. 10.1007/978-3-319-27152-1_4
  30. Said NB, Cristescu I. End-to-end information flow security for web services orchestration. Sci Comput Programm. 2020;187:102376. doi: 10.1016/j.scico.2019.102376. [DOI] [Google Scholar]
  31. Sarr AP, Seye PB, Ngarenon T, 2019. A practical and insider secure signcryption with non-interactive non-repudiation. Proc 3rd Int Conf on Codes, Cryptology, and Information Security, p.409–429. 10.1007/978-3-030-16458-4_24
  32. Wu JX, Gao Y, Zhang ZY, et al. A multi-party privacy preserving fair contract signing protocol based on blockchains. J Cyber Secur. 2018;3(3):8–16. [Google Scholar]
  33. Yu KP, Tan L, Shang XL, et al. Efficient and privacy-preserving medical research support platform against COVID-19: a blockchain-based approach. IEEE Consum Electron Mag. 2021;10(2):111–120. doi: 10.1109/MCE.2020.3035520. [DOI] [Google Scholar]
  34. Zhao YW, Sanán D, Zhang FY, et al., 2016. Reasoning about information flow security of separation kernels with channel-based communication. Proc 22nd Int Conf on Tools and Algorithms for the Construction and Analysis of Systems, p.791–810. 10.1007/978-3-662-49674-9_50
  35. Zhou JY, Gollman D, 1996. A fair non-repudiation protocol. Proc IEEE Symp on Security and Privacy, p.55–61. 10.1109/SECPRI.1996.502669

Articles from Frontiers of Information Technology & Electronic Engineering are provided here courtesy of Nature Publishing Group

RESOURCES