共 24 条
[1]
Antunes Diogo S., 2024, Proceedings of the 21st USENIX Symposium on Networked Systems Design and Implementation. NSDI '24, P313
[2]
Castro M., 2000, PRACTICAL BYZANTINE
[3]
XGBoost: A Scalable Tree Boosting System
[J].
KDD'16: PROCEEDINGS OF THE 22ND ACM SIGKDD INTERNATIONAL CONFERENCE ON KNOWLEDGE DISCOVERY AND DATA MINING,
2016,
:785-794
[5]
Proof-of-Stake Sidechains
[J].
2019 IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP 2019),
2019,
:139-156
[6]
Hao R., 2024, CRYPTOLOGY EPRINT AR, DOI [10.1109/TSUSC.2023.3341440, DOI 10.1109/TSUSC.2023.3341440]
[10]
Verifying the Smart Contracts of the Port Supply Chain System Based on Probabilistic Model Checking
[J].
SYSTEMS,
2022, 10 (01)