区块链智能合约安全一般要求 (T/SIA 029-2021) 团体名称为中国软件行业协会
主要起草人:本标准主要起草人:刘权、魏波、蔡维德、王翔、闫晓丽、周鸣爱、丰涛、张勖、王东滨、崔志如、魏昂、邓恩艳、乔聪军、张韬、丁毅、李洁、耿因志、孟宣、贾俊祥。
起草单位:赛迪工业和信息化研究院(集团)有限公司、赛迪(青岛)区块链研究院有限公司、公安部第一研究所、北京航空航天大学、北京邮电大学、北京物资学院、中国安全技术防范认证中心、北京天德科技有限公司、北京聚农科技有限公司、天民(青岛)国际沙盒研究院、信天翁数据科技(重庆)有限公司、北京德法智诚信息科技有限公司、中化能源股份有限公司、青岛天德信链信息科技有限公司、苏州天证区块链科技有限公司、前海联合网络科技有限公司。
范围:本文件规定了区块链智能合约的安全规范,包括智能合约需求分析与规划、合约建设、审计、触发、运行和废止过程。本标准适用于:a)为计划使用区块链的组织建设区块链智能合约系统提供安全规范参考; b)指导区块链服务提供组织建立安全的区块链智能合约;c)为区块链系统建设过程中,智能合约运行安全的实现提供参考。注:在不引起混淆的情况下,本文件中的“标准化文件”简称为“文件”
内容简要 1范围 2规范性引用文件 3术语和定义 3.1区块链 3.2智能合约 3.3智能合约审计 3.4智能合约形式化验证 3.5预言机 3.6图灵完备 4缩略语 5.安全实施框架 6…