共 50 条
[41]
Smart Contract Interactions in Coq
[J].
FORMAL METHODS. FM 2019 INTERNATIONAL WORKSHOPS, PT I,
2020, 12232
:380-391
[42]
Securi-Chain: Enhancing Smart Contract Security in Blockchain Systems Through Optimized Access Control
[J].
PROCEEDINGS OF THE 19TH INTERNATIONAL CONFERENCE ON CYBER WARFARE AND SECURITY, ICCWS 2024,
2024, 19
:583-591
[43]
Enhancing smart contract security: Leveraging pre-trained language models for advanced vulnerability detection
[J].
IET Blockchain,
2024, 4 (S1)
:543-554
[50]
Smart Contract Application for Managing Land Administration System Transactions
[J].
IEEE ACCESS,
2022, 10
:39154-39176