Verifying the Smart Contracts of the Port Supply Chain System Based on Probabilistic Model Checking by Yang Liu, Ziyu Zhou, Yongsheng Yang, Yan Ma

Subjects: Get full text

Simulation Method for Blockchain Systems with a Public Chain by Yang Liu, Yuxi Zhang, Zhiyuan Lin, Zhaoguo Wang, Xuan Wang

Subjects: Get full text

DOCS: A Data Ownership Confirmation Scheme for Distributed Data Trading by Yang Liu, Yang Zhang, Yongsheng Yang, Yan Ma

Subjects: Get full text

SDACS: Blockchain-Based Secure and Dynamic Access Control Scheme for Internet of Things by Qinghua Gong, Jinnan Zhang, Zheng Wei, Xinmin Wang, Xia Zhang, Xin Yan, Yang Liu, Liming Dong

Subjects: Get full text

An access control model for data security sharing cross‐domain in consortium blockchain by Yang Liu, Weidong Yang, Yanlin Wang, Yang Liu

Subjects: Get full text

Research on carbon flow traceability system for distribution network based on blockchain and power flow calculation by Heyang Sun, Tong Li, Chao Yang, Yingli Zhang, Jinliang Song, Zhenjiang Lei, Gangjun Gong, Yang Liu

Subjects: Get full text

FGAC: A Fine-Grained Access Control Framework for Supply Chain Data Sharing by Yang Liu, Xiangyu Li, Yan Ma

“…This framework is implemented in smart contract Chaincodes and quantitatively verified by using the model-checking tool UPPAAL. …”
Get full text

A Blockchain-Based Authentication and Authorization Scheme for Distributed Mobile Cloud Computing Services by Linsheng Yu, Mingxing He, Hongbin Liang, Ling Xiong, Yang Liu

“…Considering the above issues, this work constructed an authentication and authorization scheme based on blockchain that can provide a dynamic update of access permissions by utilizing the smart contract. Compared with the conventional authentication scheme, the proposed scheme integrates an extra authorization function without additional computation and communication costs in the authentication phase. …”
Get full text