T/SIA 029-2021
区块链智能合约安全一般要求

Blockchain based smart contract general requirements for security


标准号
T/SIA 029-2021
发布
2021年
发布单位
中国团体标准
当前最新
T/SIA 029-2021
 
 
适用范围
1  范围  2  规范性引用文件  3  术语和定义  3.1 区块链  3.2 智能合约  3.3 智能合约审计   3.4 智能合约形式化验证  3.5 预言机  3.6 图灵完备   4  缩略语  5.安全实施框架  6  智能合约安全基本要求  6.1 需求分析与规划安全要求  6.2 智能合约建设安全要求  6.2.1 编码安全要求  6.3 智能合约审计安全要求  6.4 智能合约触发安全要求  6.4.1 直接接口调用安全要求  6.4.2 合约间调用安全要求  6.4.3 预言机调用安全要求  6.5 智能合约运行安全要求  6.6智能合约废止安全要求 

T/SIA 029-2021相似标准


推荐

郑子彬:今年IEEE最年轻华人会士

例如,郑子彬入选“微众学者计划”的项目,就是将智能合约安全性落地的一项研究。 微众银行区块底层平台研发负责人李辉忠向《中国科学报》介绍说,在微众银行牵头研发的FISCO BCOS开源区块底层平台的智能合约场景中,他们与郑子彬团队共同构建了一个易于应用、性能高效的智能合约一致性验证及安全性验证的平台。...

区块技术可以帮助拯救环境吗?

智能合约保证计划的事件必须发生在区块支持的“加密治理”时代,法律可以用计算机代码编写的“智能合同”来代替,信任、法律和执法完全可以外包给计算机代码。区块技术建立起来的智能合约可以保证计划的事件必须发生。智能合约的优点非常明显,其执行与相关各方的意愿、批准或行为无关,不可能退出,它们不需要可信的第三方或托管来管理,而且这种方式很便宜。...

区块技术发展现状与展望

区块共识过程本质上是众包过程,如何设计激励相容的共识机制,使得去中心化系统中的自利节点能够自发地实施区块数据的验证和记账工作,并提高系统内非理性行为的成本以抑制安全性攻击和威胁,是区块有待解决的重要科学问题。智能合约区块技术        智能合约是一组情景-应对型的程序化规则和逻辑,是部署在区块上的去中心化、可信共享的程序代码。...

区块关键技术要素和技术发展、产业发展态势分析

机构统计发现:2011年到2018年9月,智能合约和业务应用的安全事件所占比重一直稳定在90%以上,但进入2018年后,由于智能合约的快速应用,其对应的安全事件所占比重呈现出一定的上涨。当前智能合约的应用还处在初级阶段,合约编写的规范性和严谨性难以保证,智能合约的开发和审计都缺乏行业标准,智能合约在成为区块安全风险的“重灾区”。...





Copyright ©2007-2022 ANTPEDIA, All Rights Reserved
京ICP备07018254号 京公网安备1101085018 电信与信息服务业务经营许可证:京ICP证110310号