The Legal Effect and Application of Smart Contracts under the Administrative Law System

[1] Hu, K., Zhu, J., Ding, Y., Bai, X., & Huang, J. (2020). Smart contract engineering. Electronics, 9(12), 2042. Search in Google Scholar

[2] Liu, J., & Liu, Z. (2019). A survey on security verification of blockchain smart contracts. IEEE Access. Search in Google Scholar

[3] Amato, F., Cozzolino, G., Moscato, F., Moscato, V., & Xhafa, F. (2021). A model for verification and validation of law compliance of smart-contracts in iot environment. IEEE Transactions on Industrial Informatics, PP(99), 1-1. Search in Google Scholar

[4] Chen, E., Qin, B., Zhu, Y., Song, W., Wang, S., & Chu, C. C. W., et al. (2022). Spesc-translator: towards automatically smart legal contract conversion for blockchain-based auction services. IEEE transactions on services computing. Search in Google Scholar

[5] Pinna, A., Ibba, S., Baralla, G., Tonelli, R., & Marchesi, M. (2019). A massive analysis of ethereum smart contracts empirical study and code metrics. IEEE Access, 7, 78194-78213. Search in Google Scholar

[6] Wohrer, M., & Zdun, U. (2020). From domain specific language to code: smart contracts and the application of design patterns. IEEE Software, PP(99). Search in Google Scholar

[7] Gupta, P., & Jha, K. N. (2023). A decentralized and automated contracting system using a blockchain-enabled network of stakeholders in construction megaprojects. Journal of management in engineering. Search in Google Scholar

[8] Drummer, D., & Neumann, D. (2020). Is code law? current legal and technical adoption issues and remedies for blockchain-enabled smart contracts. Journal of information technology(4), 35. Search in Google Scholar

[9] Zheng, S., Han, T., Jiang, Y., & Ge, X. (2020). Smart contract-based spectrum sharing transactions for multi-operators wireless communication networks. IEEE Access, PP(99), 1-1. Search in Google Scholar

[10] Jiang, Y., Zhong, Y., & Ge, X. (2019). Smart contract-based data commodity transactions for industrial internet of things. IEEE Access, PP(99), 1-1. Search in Google Scholar

[11] Chen, J., Xia, X., Lo, D., Grundy, J., & Chen, T. (2020). Defining smart contract defects on ethereum. IEEE Transactions on Software Engineering, PP(99). Search in Google Scholar

[12] He, D., Deng, Z., Zhang, Y., Chan, S., & Guizani, N. (2020). Smart contract vulnerability analysis and security audit. IEEE Network, PP(99), 1-7. Search in Google Scholar

[13] Huang, Y., Bian, Y., Li, R., Zhao, J. L., & Shi, P. (2019). Smart contract security: a software lifecycle perspective. IEEE Access, 7, 1-1. Search in Google Scholar

[14] Dwivedi, V., Norta, A., Wulf, A., & Udokwu, C. (2021). A formal specification smart-contract language for legally binding decentralized autonomous organizations. IEEE Access. Search in Google Scholar

[15] Jumnongsaksub, S., & Sripanidkulchai, K. (2020). Reducing smart contract runtime errors on ethereum. IEEE Software, PP(99). Search in Google Scholar

[16] Cai, Z., Qu, J., Liu, P., & Yu, J. (2019). A blockchain smart contract based on light-weighted quantum blind signature. IEEE Access, PP(99), 1-1. Search in Google Scholar

[17] Fu, M., Wu, L., Hong, Z., Zhu, F., & Feng, W. (2019). A critical-path-coverage-based vulnerability detection method for smart contracts. IEEE Access, PP(99), 1-1. Search in Google Scholar

[18] Zhu, Y., Song, W., Wang, D., Ma, D., & Chu, C. C. (2021). Ta-spesc: toward asset-driven smart contract language supporting ownership transaction and rule-based generation on blockchain. IEEE Transactions on Reliability, PP(99), 1-16. Search in Google Scholar

[19] Yang, Z., Liu, K., Chen, Y., Chen, W., & Tang, M. (2020). Two-level stackelberg game for iot computational resource trading mechanism: a smart contract approach. IEEE Transactions on Services Computing, PP(99), 1-1. Search in Google Scholar

[20] Xiong, W., & Xiong, L. (2019). Smart contract based data trading mode using blockchain and machine learning. IEEE Access. Search in Google Scholar

[21] Huh, J. H., & Kim, S. K. (2020). Verification plan using neural algorithm blockchain smart contract for secure p2p real estate transactions. Electronics, 9(6), 1052. Search in Google Scholar