• T/SIA 029-2021 区块链智能合约安全一般要求 现行
    译:T/SIA 029-2021 Blockchain smart contract security general requirements
    适用范围:范围:本文件规定了区块链智能合约的安全规范,包括智能合约需求分析与规划、合约建设、审计、触发、运行和废止过程。 本标准适用于: a)为计划使用区块链的组织建设区块链智能合约系统提供安全规范参考; b)指导区块链服务提供组织建立安全的区块链智能合约; c)为区块链系统建设过程中,智能合约运行安全的实现提供参考。 注:在不引起混淆的情况下,本文件中的“标准化文件”简称为“文件”; 主要技术内容: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智能合约废止安全要求
    【国际标准分类号(ICS)】 :35.020信息技术(IT)综合 【中国标准分类号(CCS)】 :J09卫生、安全、劳动保护
    发布单位或类别:(CN-TUANTI)团体标准 | 发布时间: 2021-09-01 | 实施时间: 2021-09-01
  • GB/T 34934-2017 机械电气安全 安全相关设备中的通信系统使用指南 现行
    译:GB/T 34934-2017 Electrical safety of machinery—Guidelines for the use of communication systems in safety-related applications
    适用范围:本标准用于解决机械电气设备安全功能设计实现过程中,用于传输安全相关数据的串行数字通信系统(通常称为现场总线)的问题。它为相关应用在系统设计、安装、调试、修改和维护过程中提供指导。注:  一个串行数字通信系统支持的最大从站数量是确定的,并且其未经授权访问的风险是可以忽略不计的。本标准假设已经开发了SRECS安全要求规范(SRS),并且SRECS的设计包含安全相关通信系统。本标准需要与IEC 62061一起使用。本标准不解决安全相关的通信系统本身的设计问题。
    【国际标准分类号(ICS)】 :35.240.50信息技术在工业中的应用 【中国标准分类号(CCS)】 :J09卫生、安全、劳动保护
    发布单位或类别:(CN-GB)国家标准 | 发布时间: 2017-11-01 | 实施时间: 2018-05-01