期刊文献+

智能合约安全综述 被引量:9

Survey of smart contract security
下载PDF
导出
摘要 区块链为构建社会价值传递和信任机制提供了一种新的技术。区块链的快速发展促进了智能合约与人工智能、大数据、物联网等技术的深入融合,其安全性受到重点关注。近几年,区块链与智能合约安全研究取得了较大进展,基于区块链智能合约,对智能合约的运行机制、链上安全和链外安全的最新相关研究成果进行归类、分析、比较、总结和讨论,并展望了智能合约安全性的研究方向和趋势。 Blockchain provides a new technology for building transmission and trust mechanism of social ralue.The rapid development of blockchain has promoted the deep integration of smart contract with artificial Intelligence,big data and internet of things,so its security has attracted attention.In recent years,researches on security of blockchain and smart contract have made great progress.Thus,based on smart contract on the blockchain,the related works on security of operating mechanism,on-chain smart contract security and off-chain security were classified,analyzed,compared,summarized and discussed.The hot issues of smart contract security in the future were forecasted.
作者 孟博 刘加兵 刘琴 王潇潇 郑旭睿 王德军 MENG Bo;LIU Jiabing;LIU Qin;WANG Xiaoxiao;ZHENG Xurui;WANG Dejun(School of Computer Science,South-Central University for Nationalities,Wuhan 430074,China)
出处 《网络与信息安全学报》 2020年第3期1-13,共13页 Chinese Journal of Network and Information Security
基金 国家自然科学基金(61272497) 湖北省自然科学基金(BZY18001) 中央高校攻关计划专项基金(CZT20013)。
关键词 区块链 智能合约 链上安全 链外安全 安全性分析 blockchain smart contract on-chain security off-chain security security analysis
  • 相关文献

参考文献4

二级参考文献99

  • 1Sun Microsystems, Inc. Building Customer Trust in Cloud Computing with Transparent Security. 2009.
  • 2唐春明, 胡 杏. 外包计算的研究进展. 中国密码学发展报告, 2012. 59-79.
  • 3Belenkiy M, Chase M, Erway C C, et al. Incentivizing outsourced computation. In: Proceedings of the Workshop on Economics of Networked Systems (NetEcon), New York, 2008. 85-90.
  • 4Monrose F, Wyckoff P, Rubin A D. Distributed execution with remote audit. In: Proceedings of the 1999 ISOC Network and Distributed System Security Symposium (NDSS), San Diego, 1999. 103-113.
  • 5Smith S, Weingart S. Building a high-performance, programmable secure coprocessor. Comput Netw, 1999, 31: 831-960.
  • 6Yee B, Tygar J D. Secure coprocessors in electronic commerce applications. In: Proceedings of the 1st USENIX Workshop on Electronic Commerce, New York, 1995.
  • 7Goldwasser S, Micali S, Rackoff C. The knowledge complexity of interactive proof-systems. SIAM J Comput, 1989,18: 186-208.
  • 8Babai L. Trading group theory for randomness. In: Proceedings of the ACM Sympositum on the Theory of Computing (STOC), New York, 1985. 421-429.
  • 9Goldwasser S, Kalai Y T, Rothblum G N. Delegating computation: interactive proofs for muggles. In: Proceedings of the ACM Sympositum on the Theory of Computing (STOC), New York, 2008. 113-122.
  • 10Cormode G, Mitzenmacher M, Thaler J. Practical verified computation with streaming interactive proofs. In: Proceedings of the 3rd Innovations in Theoretical Computer Science Conference (ITCS), New York, 2012. 90-112.

共引文献430

同被引文献67

引证文献9

二级引证文献8

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部