区块链BaaS云服务(21)腾讯CCGP”安全沙箱“
1. 功能
测试智能合约的功能,包括智能合约的编写、编译、安全性评估等过程的执行。
提供智能合约细粒度自动化漏洞检测技术,实现适配多类型智能合约的深度安全防护方法和技术。
2. 特点
- 自动识别智能合约代码“关键”路径,对程序路径进行优先排序,并对智能合约的关键路径进
行模拟运行全覆盖,自动过滤不可行的执行路径。 - 根据知识库对合约潜在的污点进行识别,识别污点信息在智能合约中的产生点并对其进行标
记,按照实际需求和污点传播规则进行前向或后向数据依赖分析,得到污点的数据依赖和被依赖关系的指令集合,在一些关键的程序点检查关键的操作是否会受到污点信息的影响。 - 提供智能合约形式化验证的容器,通过数学推理逻辑和证明,检查智能合约功能正确性和安全
属性,能完全覆盖代码的运行期行为,可以确保在一定范围内智能合约的绝对正确。
3. 支持网络安全
- TLS握手过程协议,建立实体和实体的身份的真实性连接。加密安全数据通道在实体间建立,连接实
体须就通信中所使用的加密方法和密钥匹配。
通信过程中使用公钥加密,实体在没有彼此任何先验知识的情况下建立共享秘密加密密钥。
实体的密钥私钥在硬件HSM或者TPM中保护,提供防本地物理攻击的、面向金融应用安全级别的高等级防护
区块链BaaS云服务(21)腾讯CCGP”安全沙箱“相关推荐
- 区块链BaaS云服务(24)秘猿科技CITA
定义 CITA-Monitor 监控系统, 用以监控 CITA 区块链服务运行状态.CITA-Monitor 监控的指标包括:区块链数据.服务进程状态.运行环境的 CPU /存储器/磁盘使用率等主机信 ...
- 区块链BaaS云服务(23)网易NBaaS平台
1. 功能 1.1. 去中心化数字身份 未来通行证 未来通行证(DID)提供分布式去中心化数字身份标识及可信数据交换流转,是未来全球通用的全新通行证,基于服务公众.价值交换的理念,构建可信基础设施,致 ...
- 区块链BaaS云服务(21)腾讯CCGP”节点安全“
1. 总结 主要有两部分: 区块链区块链节点(终端防护) 在接入区块链节点上内置TPM安全信任根,对节点的激活,准入及业务流程提供一体化可信安全操作. 可信服务管控平台 基于区块链跨链治理服务,对区块 ...
- 区块链BaaS云服务(21)腾讯CCGP“治理链”
1. 功能 治理服务支撑治理员.审计员对治理链及治理协同业务进行管控操作. 2. 服务层 3. 控制层 3.1治理合约管理 治理链部署完毕后,初始化支撑协同治理全过程的智能合约 3.2 统一身份管理 ...
- 区块链BaaS云服务(21)腾讯CCGP跨链平台“系统架构”
1. "以链治链"的通用跨链协同治理架构 4种角色和3种节点 1.1 创世机构(跨链联盟中承担跨链治理角色的机构) 其持有"创世节点" ,通过创世节点执行创世合 ...
- 区块链BaaS云服务(25)边界智能 IRITA平台
1. 定义 以区块链跨链.隐私计算及大数据分析技术创新为核心. 支持中国国密标准,并有完善的 SDK 及运维工具支持,在性能.安全可靠性.认证及权限.可维护性.可扩展性和运维监控等多方面都满足企业级应 ...
- 区块链BaaS云服务(16)天德链TDBC“系统介绍”
1. 系统架构 2. 平台特点 证书管理 包含了完善的.不可伪造的证书管理系统.每个用户有且只有一个有效证书(接入凭证),充分保证了用户信息安全. 隐私保护 对交易信息进行加密传输.加密存储.只有拥有 ...
- 区块链BaaS云服务(15)复杂美chain33
1. 整体架构 采用模块插件化的设计,模块可插拔,适应多种场景. 应用层 EVM虚拟机, WASM虚拟机,GO语言原生合约以及JVM虚拟机(研发完成,测试中) 共识层 支持POS,DPOS以及POS3 ...
- 区块链BaaS云服务(14)华大BGI区块链“Baas接口“
BaaS 接口 为了更好的支持上层业务对区块链模块的集成应用, 包括: 1. 节点权限认证控制 基于联盟链的应用场景,各个节点的链上权限及 角色配置都可以通过运维软件的 WEB 界面进行配置.每个节点 ...
- 区块链BaaS云服务(14)华大BGI区块链“碎片分布式存储“
1. 传统云存储模式 用户把完整的数据信息存放到云端数据中心,这种中心化的云存储模式相对高效和低成本而广为流行,但在安全性和隐私泄漏等方面 存在风险. 2. 碎片分布式存储 基本思想是将用户的某一完整 ...
最新文章
- 转帖-Linux 磁盘坏道检测和修复
- C/C++结构体四字节数据对齐
- 软件开发的比喻:园艺
- Django(part40)--如何走向404
- sqlite数据库备份还原、导出导入
- Java用Java编译
- hadoop主节点切换_hadoop2.0 HA的主备自动切换
- mysql查看binlog_MySQL的binlog数据如何查看
- linux连不上网 ens33,如何解决Linux 系统下 ifconfig 命令无网络接口 ens33
- ScriptObject的坑人之处
- jenkins配置Windows节点
- DenseNet详解
- 数字电子技术基础笔记【阎石第六版】 第一章 数字与编码
- 基于Python和MySQL的学生信息管理系统
- 计算机的flash player在哪里,flash player电脑设置管理器在哪?怎么打开
- Excel批量随机生成姓名
- python元组定义_python定义元组
- 外汇期货市场的组织结构
- EDM邮件营销推广方法分享
- vivado+vscode
热门文章
- Redis:Redis集群实战
- 【Scratch】青少年蓝桥杯_每日一题_1.25_投球
- Linux通常把设备对象抽象为,linux 设备模型(1)
- java第三方接口对接_调用多个第三方接口哪一种方案更好?
- 年运行10万台服务器数据中心方案设计公示
- 混合云数据中心运维的管理
- 综合布线成数据中心建设和运营的重要课题
- 成功解决OpenCV Error: Assertion failed (ssize.width 0 ssize.height 0) in cv::resize, file C:\proj
- DL之DNN:利用DNN【784→50→100→10】算法对MNIST手写数字图片识别数据集进行预测、模型优化
- Matlab:基于Matlab通过GUI实现自动驾驶的车牌智能识别