针对代币智能合约的安全问题，提岀一种基于代币智能合约整数溢岀漏洞的形式化建模与验证方法。分析现有 The dao和BEC等漏洞攻击事件，定义代币智能合约的安全属性，通过引入全局变量和数值比较等
2021-03-19 16:00
对区块链活动的第二次出手。 9月4日下午，央行等7部委联合发布《关于防范代币发行融资风险的公告》，《公告》指出，近期国内通过发行代币形式包括首次代币发行（ICO）进行融资的活动大量涌现，投机炒作盛行，涉嫌从事非法金融
2017-09-28 15:19
