Role-based abstract modeling of blockchain auction contracts and verification of temporal security and fairness
To enhance the efficiency of time security verification and fairness verification of auction contracts, an abstract modeling and verification method for role-based auction contracts was proposed. Firstly, the source code of the contract was abstractly modeled based on account roles and converted int...
Saved in:
| Main Authors: | , , , , , |
|---|---|
| Format: | Article |
| Language: | zho |
| Published: |
Editorial Department of Journal on Communications
2024-10-01
|
| Series: | Tongxin xuebao |
| Subjects: | |
| Online Access: | http://www.joconline.com.cn/zh/article/doi/10.11959/j.issn.1000-436x.2024074/ |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|