Similar articles

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.

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

[1]Aldini A, Gorrieri R, 2002. Security analysis of a probabilistic non-repudiation protocol. Proc 2^nd Joint Int Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification, p.17-36.

[2]Allen DWE, Berg C, Markey-Towler B, et al., 2020. Blockchain and the evolution of institutional technologies: implications for innovation policy. Res Policy, 49(1):103865.

[3]Américo A, Alvim MS, McIver A, 2018. An algebraic approach for reasoning about information flow. Proc 22^nd Int Symp on Formal Methods, p.55-72.

[4]Baza M, Lasla N, Mahmoud MMEA, et al., 2021. B-Ride: ride sharing with privacy-preservation, trust and fair payment atop public blockchain. IEEE Trans Netw Sci Eng, 8(2):1214-1229.

[5]Cederquist J, Corin R, Dashti MT, 2005. On the quest for impartiality: design and analysis of a fair non-repudiation protocol. Proc 7^th Int Conf on Information and Communications Security, p.27-39.

[6]Chatterjee K, Raman V, 2014. Assume-guarantee synthesis for digital contract signing. Formal Aspect Comput, 26(4):825-859.

[7]Christodoulou K, Christodoulou P, Zinonos Z, et al., 2020. Health information exchange with blockchain amid Covid-19-like pandemics. Proc 16^th Int Conf on Distributed Computing in Sensor Systems, p.412-417.

[8]Deng HY, Hu RF, Pray C, et al., 2019. Impact of government policies on private R&D investment in agricultural biotechnology: evidence from chemical and pesticide firms in China. Technol Forecast Soc Change, 147:208-215.

[9]Dinh TTA, Liu R, Zhang MH, et al., 2018. Untangling blockchain: a data processing view of blockchain systems. IEEE Trans Know Data Eng, 30(7):1366-1385.

[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 44^th Annual Conf of the IEEE Industrial Electronics Society, p.260-264.

[12]Feng XQ, Ma JF, Miao YB, et al., 2019. Pruneable sharding-based blockchain protocol. Peer-to-Peer Netw Appl, 12(4):934-950.

[13]Griggs KN, Ossipova O, Kohlios CP, et al., 2018. Healthcare blockchain system using smart contracts for secure automated remote patient monitoring. J Med Syst, 42(7):130.

[14]Hang L, Kim DH, 2019. Design and implementation of an integrated IoT blockchain platform for sensing data integrity. Sensors, 19(10):2228.

[15]Hansson H, Jonsson B, 1994. A logic for reasoning about time and reliability. Formal Aspect Comput, 6(5):512-535.

[16]Henzinger TA, Nicollin X, Sifakis J, et al., 1994. Symbolic model checking for real-time systems. Inform Comput, 111(2):193-244.

[17]Kremer S, Markowitch O, 2000. Optimistic non-repudiable information exchange. Proc 21^st Symp on Information Theory in the Benelux, p.139-146.

[18]Kremer S, Markowitch O, Zhou JY, 2002. An intensive survey of fair non-repudiation protocols. Comput Commun, 25(17):1606-1621.

[19]Li TT, Ren W, Xiang YX, et al., 2021. FAPS: a fair, autonomous and privacy-preserving scheme for big data exchange based on oblivious transfer, ether cheque and smart contracts. Inform Sci, 544:469-484.

[20]Litchfield A, Herbert J, 2018. ReSOLV: applying cryptocurrency blockchain methods to enable global cross-platform software license validation. Cryptography, 2(2):10.

[21]Markowitch O, Roggeman Y, 1999. Probabilistic non-repudiation without trusted third party. Proc 2^nd 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 29^th Int Conf on Computer Communications and Networks, p.1-11.

[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.

[24]Novo O, 2018. Blockchain meets IoT: an architecture for scalable access management in IoT. IEEE Internet Things J, 5(2):1184-1195.

[25]Pérez-Solà C, Delgado-Segura S, Navarro-Arribas G, et al., 2019. Double-spending prevention for bitcoin zero-confirmation transactions. Int J Inform Secur, 18(4):451-463.

[26]Piramuthu S, 2017. RFID-based non-repudiation protocols for supply chains. Proc 3^rd Int Conf on Future Network Systems and Security, p.56-69.

[27]Resiere D, Resiere D, Kallel H, 2020. Implementation of medical and scientific cooperation in the Caribbean using blockchain technology in coronavirus (Covid-19) pandemics. J Med Syst, 44(7):123.

[28]Roscoe AW, Ryan PYA, 2017. Auditable PAKEs: approaching fair exchange without a TTP. Proc 25^th Cambridge Int Workshop on Security Protocols, p.278-297.

[29]Ruland KC, Sassmannshausen J, 2015. Non-repudiation services for the MMS protocol of IEC 61850. Proc 2^nd Int Conf on Research in Security Standardisation, p.70-85.

[30]Said NB, Cristescu I, 2020. End-to-end information flow security for web services orchestration. Sci Comput Programm, 187:102376.

[31]Sarr AP, Seye PB, Ngarenon T, 2019. A practical and insider secure signcryption with non-interactive non-repudiation. Proc 3^rd Int Conf on Codes, Cryptology, and Information Security, p.409-429.

[32]Wu JX, Gao Y, Zhang ZY, et al., 2018. A multi-party privacy preserving fair contract signing protocol based on blockchains. J Cyber Secur, 3(3):8-16 (in Chinese).

[33]Yu KP, Tan L, Shang XL, et al., 2021. Efficient and privacy-preserving medical research support platform against COVID-19: a blockchain-based approach. IEEE Consum Electron Mag, 10(2):111-120.

[34]Zhao YW, Sanán D, Zhang FY, et al., 2016. Reasoning about information flow security of separation kernels with channel-based communication. Proc 22^nd Int Conf on Tools and Algorithms for the Construction and Analysis of Systems, p.791-810.

[35]Zhou JY, Gollman D, 1996. A fair non-repudiation protocol. Proc IEEE Symp on Security and Privacy, p.55-61.