华东交通大学学报2021，Vol.38Issue(3)：52-60,9.
基于模型检测的区块链智能合约公平性形式化验证
Formal Verification of Fairness of Block Chain Smart Contract Based on Model Checking
摘要
关键词
智能合约/形式化方法/模型检测/交易顺序依赖漏洞分类
信息技术与安全科学引用本文复制引用
肖美华,周浩洋,朱志亮,罗敏..基于模型检测的区块链智能合约公平性形式化验证[J].华东交通大学学报,2021,38(3):52-60,9.基金项目
国家自然科学基金(61962020,61562026) （61962020,61562026）
江西省主要学科学术和技术带头人资助计划(20172BCB22015) （20172BCB22015）
江西省研究生创新专项基金(YC2019-S251) （YC2019-S251）
江西省青年科学基金资助项目(20202BAAL212006) （20202BAAL212006）
