一种基于时间自动机的安全智能合约生成方法

检索

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

一种基于时间自动机的安全智能合约生成方法

刘阳, 张圣杰

A Secure Smart Contract Generation Method Based on Timed Automata

Yang LIU, Shengjie ZHANG

计算机工程 . 2023, (9): 137 -143, 157 . DOI: 10.19678/j.issn.1000-3428.0066982