DOCS: A Data Ownership Confirmation Scheme for Distributed Data Trading[J] SYSTEMS 2022(10) Liu, Yang Zhang, Yang Yang, Yongsheng Ma, Yan
Verifying the Smart Contracts of the Port Supply Chain System Based on Probabilistic Model Checking[J] SYSTEMS 2022(10) Liu, Yang Zhou, Ziyu Yang, Yongsheng Ma, Yan
