信息技术与网络安全2021，Vol.40Issue(5)：13-19,7.DOI:10.19358/j.issn.2096-5133.2021.05.003
The DAO事件的形式化分析
Formal analysis of the DAO exploit
朱雪阳1
作者信息
- 1. 中国科学院 软件研究所 计算机科学国家重点实验室,北京 100190;中国科学院大学,北京 100049
- 折叠
摘要
关键词
智能合约/形式化验证/模型检测/安全漏洞分类
信息技术与安全科学引用本文复制引用
朱雪阳..The DAO事件的形式化分析[J].信息技术与网络安全,2021,40(5):13-19,7.
