T/SIA 029—2021区块链智能合约安全一般要求.pdf，行业分类软件开发。
内容简要 1范围 2规范性引用文件 3术语和定义 3.1区块链 3.2智能合约 3.3智能合约审计 3.4智能合约形式化验证 3.5预言机 3.6图灵完备 4缩略语 5.安全实施框架 6…
T/SIA 029—2021区块链智能合约安全一般要求.pdf，行业分类软件开发。
内容简要 1范围 2规范性引用文件 3术语和定义 3.1区块链 3.2智能合约 3.3智能合约审计 3.4智能合约形式化验证 3.5预言机 3.6图灵完备 4缩略语 5.安全实施框架 6…