构筑安全堡垒 | 成都链安携手信通院加速探索区块链安全测试技术

2020年4月27日，中国信通院组织召开可信区块链推进计划（TBI）安全组组会，联通大数据、趣链、中国网安等20多家单位的技术专家参加会议。作为可信区块链推进计划理事单位及安全组副组长，成都链安科技有限公司的安全专家岳亮亮进行了《区块链智能合约和链平台安全》的主题分享，并表示成都链安将持续为信通院安全深度测试提供技术支持，为区块链企业构筑安全堡垒。

发布标准：信通院分享2020年度可信区块链安全测试标准

据可信区块链推进计划安全项目组组长、中国信通院工程师张启介绍，随着区块链技术的不断发展，越来越多的机构和企业加大对区块链的研究与应用，区块链安全风险也随之而来。安全问题无止境，如何界定安全指标的边界是关键。在此背景下，中国信通院联手多家单位共同制定可信区块链安全测试标准，该标准通过制定一套统一的测试规范和测试流程，从网络安全、数据安全、密码安全、共识安全、合约安全、节点防护和权限控制等7个方面全面评估区块链底层系统及平台的安全性。依据该标准进行的测试是以检验是否满足标准要求为目的的标准化测试，但由于各个系统的底层设计的差异性，该测试尚不具备定制化能力。区块链安全深度测试将针对不同链平台设计的差异性，提供一套深入源码的深度审计、安全评估的定制化测试服务。该测试将进一步覆盖到面向白盒的测试，致力于发现深层次的漏洞，链安作为技术合作方，将为区块链安全深度测试提供技术支持。

安全服务：成都链安全面开展区块链安全审计业务和定制化测试服务

会上，成都链安安全专家岳亮亮就智能合约和链平台的深度审计与安全检测展开介绍。成都链安基于形式化验证技术，采用VaaS（智能合约形式化验证工具）+人工审计的测试方式，可以对多个链平台的智能合约进行安全审计。除了帮助用户自动检测合约中的常规安全检测项以外，还提供了人工断言和属性验证两种需要人工参与的检测方式。针对各应用底层设计的不同，人工审计的方式同样适用于链平台的安全检测。链平台采用内部链平台攻防工具箱+人工审计的测试方式，可结合白盒代码审计，构建针对特定链的安全检测方案，有效保障链平台节点通信、存储、共识和权限管理等各个层面的安全性。

基于智能合约和链平台的深度审计与安全检测服务，成都链安将充分发挥产学研优势，打造“自主创新 自主可控”的区块链安全技术和保障体系，加速探索区块链安全深度测试技术，为区块链标准化应用、应用持续化发展保驾护航。

作为全球领先的区块链安全公司，成都链安以网络安全、形式化验证、人工智能和大数据分析四大技术为核心，打造了面向区块链全生态安全的“Beosin一站式区块链安全服务平台”。 “Beosin一站式区块链安全服务平台”包含“四大核心安全产品”和“八大明星安全服务”，可为区块链企业提供安全审计、虚拟资产追溯与AML反洗钱、安全防护、威胁情报、安全咨询和应急等全方位的安全服务与支持，提供从“研发→运行→监管”全生命周期的安全解决方案，推动区块链企业健康、安全发展。

本文来源：成都链安科技
原文标题：构筑安全堡垒 | 成都链安携手信通院加速探索区块链安全测试技术

—-

编译者/作者：成都链安科技

玩币族申明：玩币族作为开放的资讯翻译/分享平台，所提供的所有资讯仅代表作者个人观点，与玩币族平台立场无关，且不构成任何投资理财建议。文章版权归原作者所有。