A Formal Modeling and Verification Method for Token Smart Contract

To address the frequent security incidents of token smart contracts,this paper proposes a formal modeling and verification method based on integer overflow vulnerabilities of token smart contracts.The DAO and BEC vulnerability attacks are analyzed,and on this basis the security attributes of token s...

Full description

Bibliographic Details

Published in:	Jisuanji gongcheng
Main Author:	OUYANG Hengyi, XIONG Yan, HUANG Wenchao
Format:	Article
Language:	English
Published:	Editorial Office of Computer Engineering 2020-10-01
Subjects:	smart contract|token|formal modeling|formal verification|integer overflow vulnerability
Online Access:	https://www.ecice06.com/fileup/1000-3428/PDF/20201004.pdf