共 28 条
[2]
[Anonymous], 2022, HYPERLEDGER ONLINE D
[3]
[Anonymous], 2022, Hyperledger fabric software
[4]
[Anonymous], 2022, OPENSSL CRYPTOGRAPHI
[5]
[Anonymous], 2022, Hyperledger Caliper
[6]
Automatic Verification of Security Protocols in the Symbolic Model: The Verifier Proverif
[J].
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),
2014, 8604
:54-87
[7]
Boyuan Gao, 2021, 2021 IEEE 23rd Int Conf on High Performance Computing & Communications
[8]
7th Int Conf on Data Science & Systems
[9]
19th Int Conf on Smart City
[10]
7th Int Conf on Dependability in Sensor, Cloud & Big Data Systems & Application (HPCC/DSS/SmartCity/DependSys)., P561, DOI 10.1109/HPCC-DSS-SmartCity-DependSys53884.2021.00097