斯雪明教授:如何应对高发的区块链安全问题?

简介: 解放军信息工程大学斯雪明教授受邀作了题为《区块链与系统安全》报告。报告总共分成三部分:区块链的安全挑战、系统安全性分析、安全性威胁应对方法。

5


在近日上海召开的区块链应用(DApp)研讨会上,中国科学数据处理(SDP)联盟执行委员会主任、上海市数据科学重点实验室副主任、解放军信息工程大学斯雪明教授受邀作了题为《区块链与系统安全》报告。报告总共分成三部分:区块链的安全挑战、系统安全性分析、安全性威胁应对方法。

他指出,目前区块链面临的主要安全问题有私钥的生成与保护、共识过程的中心化、智能合约代码漏洞、签名过程算法漏洞、系统实现代码漏洞等。例如,据雷锋网了解,2016年6月17日,黑客攻击了众筹超过1.5亿美元的分布式自治组织 THE DAO,导致项目失败。2016年8月2日因为多重签名漏洞,香港比特币交易所bitfines大约价值7000万美元的比特币被盗。“交易所的安全性尚且不能保障,个人私钥的安全性也存在较高风险。”

斯雪明教授具体介绍了区块链五大安全性分析方法,分别是综合安全性分析、算法安全性分析、使用安全性分析、实现安全性分析以及协议安全性分析。并针对各安全问题,提出了相应的应对方法。

以下是演讲原文:

区块链的安全挑战

目前区块链面临的主要安全问题有私钥的生成与保护、共识过程的中心化、智能合约代码漏洞、签名过程算法漏洞、系统实现代码漏洞等。

信心系统安全有三要素,分别是保密性、完整性、可用性,区块链系统也必须有三种属性。

从保密性来说,以公钥的变型作为交易地址,为用户提供了保密性;零知识证明、环签名等为交易提供了保密性,比如Zcash和门罗币;同态加密对数据提供了保密性;属性基家解密,实现对系统的保密性、分权处理。总的来说,区块链系统大量应用了密码学前沿技术。

第二,从可用性来说,每个副本节点保存相同的数据,保证了数据的可用性,多方共识机制保证了交易信息的可用性。

第三,从完整性来说,签名验证算法保证了交易的完整性,链式结构保证了数据的完整性,高度同构冗余结构,保证了系统的完整性。

系统安全性分析

分析区块链安全性,需要从综合安全性、算法安全性、使用安全性、实现安全性以及协议安全性五方面进行分析。

首先是算法安全性。目前密码货币的算法是相对安全的。但是随着数学、密码学和计算基数的发展会变得越来越脆弱,况且区块链中的密码算法在使用过程中也存在问题。另外,量子计算对现有公钥密码带来的影响是颠覆性的,2017年IBM宣布成功搭建和测试了两种新机器。当然,算法方面也曾出现过随机数漏洞事件,比如2014年12月,blockchain.info爆出随机数问题。

第二个是使用安全性分析。目前存在以下问题,比如私钥托管容易造成监守自盗以及黑客盗取;区块链钱包的口令存在被恢复的危险;私钥一旦丢失,便无法对账户的资产做任何操作。最重要的是所有的数字货币系统,比如2017年12月,朝鲜黑客攻击了韩国加密货币交易所,导致价值76亿韩元(约合699万美元)的加密货币被盗。

第三从实现安全性分析。国家互联网应急中心在2016年10月曾选取了25款具有代表性的区块链软件进行检测,在代码层面发现高危安全漏洞和安全隐患共746个,所以区块链的代码安全性是非常令人担忧的。此外,还有去年11月的parity钱包事件,就是由于误操作,库代码被抹掉掉,导致多重签名智能合约无法使用。

最后一个是综合安全性,或称系统安全性。综合运用算法/协议/使用/实现漏洞,与网络攻击解密结合,采用技术和社会工程学对密码货币系统进行攻击,一旦国家或组织采用综合安全攻击,会对密码系统造成极大的危害。美国已经高度重视区块链的安全问题了,在去年9月通过一项7000亿美元的国防法案。

安全性威胁应对方法

那么,我们应该如何面对这些安全问题?

针对算法安全性,可以采用抗量子算法,如基于格的签名算法,或者采用盲签名、环签名、聚合签名、多重签名侧、门限签名策略,总之是要采用新的、本身经得起考验的密码技术。

针对协议安全性,POW中使用防ASIC杂凑函数,使用更有效的共识算法和策略。

针对实现安全性,需要对关键代码进行严格、完整测试,以及采用更加安全的智能合约。

针对使用安全性,主要是对私钥生成、存储、使用进行保护,使用有效的魂币模式,对敏感数据进行加密保护。另外,我们也要选择安全的交易所,因为交易所聚集了大量的数字货币,所以很容易成为黑客或者一些敌对、恐怖组织的针对目标。

6


最后针对黑客的攻击,我们在终端提出了拟态防御的方法。上图为拟态防御的架构模型,拟态防御是一项技术,在上海政府的支持下,由信息工程机械大学团队联合上海高校和科研机构取得了重大的突破。利用拟态防御技术,我认为对于提高区块链系统安全性会起到非常好的作用。

原文发布时间为:2018-02-04
本文作者:伊莉
本文来源:雷锋网,如需转载请联系原作者。

目录
相关文章
|
区块链 数据安全/隐私保护
BlockChain:MIT教授、图灵奖得主Silvio Micali ,演讲题目《区块链的前景、挑战及Algorand的解决方案》听会记录
BlockChain:MIT教授、图灵奖得主Silvio Micali ,演讲题目《区块链的前景、挑战及Algorand的解决方案》听会记录
BlockChain:MIT教授、图灵奖得主Silvio Micali ,演讲题目《区块链的前景、挑战及Algorand的解决方案》听会记录
|
安全 大数据 区块链
区块链开发公司谈区块链技术的安全问题
 此外,由于当前区块链技术仍然以哈希和非对称加密算法为主要基石,这些加密算法面临的挑战也将成为区块链技术的巨大挑战。最大的挑战之一是量子计算。在量子计算技术日趋成熟的情况下,利用主流的非对称加密算法生成的公钥地址,很容易推断出该账户的私钥,从而导致整个块链系统安全基础的崩溃。
1404 0
|
区块链
区块链应用 | 社科院特聘教授王彬生:区块链将颠覆公司制,税收征管将迎挑战
王彬生认为,人类社会工业化道路从历史维度上看是走了一条曲线。
1260 0
|
区块链
清华教授高西庆:为什么有人恐惧区块链?因为他们的权威没了
为什么有人恐惧区块链?因为他们的权威没了
1043 0
|
安全 区块链 数据库
耶鲁CS系主任邵中教授与哥大顾荣辉教授联手解决安全问题痛点,打造区块链理想世界
编程语言界的顶级科学家邵中教授带领的形式化验证智能合约项目CertiK,是此前经形式化验证过的无漏洞、无法被黑客攻破的CertiKOS的延伸。
1562 0
|
弹性计算 安全 JavaScript
阿里云MVP傅奎 | 聊聊区块链和加密货币相关的安全问题
无论是企业还是个人都应抽空关注一下区块链和加密货币相关的安全问题,毕竟控制风险是首要任务。否则,忙着挖矿,炒币,抄底,一不小心后院着火,那可是要被人“抄家”的。你辛辛苦苦赚来的都将被人收割,甚至倾家荡产,万劫不复。
3241 0
|
安全 测试技术 区块链
|
安全 测试技术 区块链
游戏安全资讯精选 2018年第八期:3975款游戏被查处,游戏圈重击;Memcached被利用UDP反射攻击漏洞预警;VentureBeat称区块链或可定位和消除恶意可执行代码的安全问题
3975款游戏被查处,游戏圈重击;Memcached被利用UDP反射攻击漏洞预警;VentureBeat称区块链或可定位和消除恶意可执行代码的安全问题
5951 0