首页|法律合约与智能合约一致性综述

法律合约与智能合约一致性综述

扫码查看
原文链接
  • 国家科技期刊平台
  • NETL
  • NSTL
  • 万方数据
  • 维普
从计算机科学的角度对法律合约与智能合约的一致性研究现状进行了总结和分析.首先,分别对法律合约描述语言和智能合约开发语言进行了分类和分析,总结了每种语言的特点;其次,根据合同自动化执行的三个发展阶段对法律合约和智能合约的一致性内涵进行了分析和讨论;分别基于形式化模型和合约模板总结了由法律合约生成智能合约代码的方法和关键技术,并对其进行了讨论和评价;最后,对未来法律合约与智能合约的一致性研究进行了总结和展望.
Review on conformance between legal contract and smart contract

刘琴、王德军、王潇潇、郑绪睿、孟博

展开 >

中南民族大学计算机科学学院,武汉470074

形式化模型 智能合约 合约模板 特定领域 代码生成

湖北省自然科学基金资助项目中央高校基本科研业务费专项基金资助项目中央高校基本科研业务费专项基金资助项目

2018ADC150CZT20013QSZ17007

2021

10.19734/j.issn.1001-3695.2019.12.0652

计算机应用研究
四川省电子计算机应用研究中心

计算机应用研究

CSTPCDCSCD北大核心
影响因子：0.93
ISSN：1001-3695
年,卷(期)：2021.38(1)
  • 7
  • 9