首页
学术期刊
论文检测
AIGC检测
热点
更多
数据
区块链与智能合约图谱分析
被引:5
作者
:
王继辉
论文数:
0
引用数:
0
h-index:
0
机构:
普华商业集团有限公司
王继辉
机构
:
[1]
普华商业集团有限公司
来源
:
网络空间安全
|
2019年
/ 10卷
/ 11期
关键词
:
区块链;
智能合约;
形式化智能合约;
D O I
:
暂无
中图分类号
:
TP311.13 [];
学科分类号
:
1201 ;
摘要
:
区块链技术从2017年开始进入快速发展期,区块链底层平台TPS性能提升很快,数字身份与信用模型也是当下行业讨论的重点,但是作为区块链应用核心之一的智能合约技术发展却明显落后。文章对智能合约从产生、演化与趋势三个层次入手来进行分析,回答了2019年智能合约发展的必然性以及智能合约四个可能趋势,特别肯定了形式化智能合约技术的趋势性。
引用
收藏
页码:1 / 6+25 +25
页数:7
相关论文
共 6 条
[1]
中国区块链政策环境回顾、分析与展望
[J].
刘宗媛
论文数:
0
引用数:
0
h-index:
0
机构:
赛迪(青岛)区块链研究院
刘宗媛
.
网络空间安全,
2019,
10
(04)
:111
-117
[2]
区块链标准化现状及思路
[J].
李鸣
论文数:
0
引用数:
0
h-index:
0
机构:
中国电子技术标准化研究院
李鸣
;
李佳秾
论文数:
0
引用数:
0
h-index:
0
机构:
中国电子技术标准化研究院
李佳秾
;
孙琳
论文数:
0
引用数:
0
h-index:
0
机构:
中国电子技术标准化研究院
孙琳
.
中国信息安全,
2018,
(05)
:96
-98
[3]
区块链交易数据隐私保护机制
[J].
论文数:
引用数:
h-index:
机构:
祝烈煌
;
论文数:
引用数:
h-index:
机构:
董慧
;
论文数:
引用数:
h-index:
机构:
沈蒙
.
大数据,
2018,
4
(01)
:46
-56
[4]
智能合约的形式化验证方法
[J].
论文数:
引用数:
h-index:
机构:
胡凯
;
论文数:
引用数:
h-index:
机构:
白晓敏
;
高灵超
论文数:
0
引用数:
0
h-index:
0
机构:
北京中电普华信息技术有限公司
北京航空航天大学计算机学院
高灵超
;
董爱强
论文数:
0
引用数:
0
h-index:
0
机构:
北京中电普华信息技术有限公司
北京航空航天大学计算机学院
董爱强
.
信息安全研究,
2016,
2
(12)
:1080
-1089
[5]
区块链技术发展现状与展望
[J].
论文数:
引用数:
h-index:
机构:
袁勇
;
王飞跃
论文数:
0
引用数:
0
h-index:
0
机构:
中国科学院自动化研究所复杂系统管理与控制国家重点实验室
国防科技大学军事计算实验与平行系统技术中心
中国科学院自动化研究所复杂系统管理与控制国家重点实验室
王飞跃
.
自动化学报,
2016,
42
(04)
:481
-494
[6]
区块链与人工智能.[M].刘权.人民邮电出版社.2019, 978-7-115-50399-2
←
1
→
共 6 条
[1]
中国区块链政策环境回顾、分析与展望
[J].
刘宗媛
论文数:
0
引用数:
0
h-index:
0
机构:
赛迪(青岛)区块链研究院
刘宗媛
.
网络空间安全,
2019,
10
(04)
:111
-117
[2]
区块链标准化现状及思路
[J].
李鸣
论文数:
0
引用数:
0
h-index:
0
机构:
中国电子技术标准化研究院
李鸣
;
李佳秾
论文数:
0
引用数:
0
h-index:
0
机构:
中国电子技术标准化研究院
李佳秾
;
孙琳
论文数:
0
引用数:
0
h-index:
0
机构:
中国电子技术标准化研究院
孙琳
.
中国信息安全,
2018,
(05)
:96
-98
[3]
区块链交易数据隐私保护机制
[J].
论文数:
引用数:
h-index:
机构:
祝烈煌
;
论文数:
引用数:
h-index:
机构:
董慧
;
论文数:
引用数:
h-index:
机构:
沈蒙
.
大数据,
2018,
4
(01)
:46
-56
[4]
智能合约的形式化验证方法
[J].
论文数:
引用数:
h-index:
机构:
胡凯
;
论文数:
引用数:
h-index:
机构:
白晓敏
;
高灵超
论文数:
0
引用数:
0
h-index:
0
机构:
北京中电普华信息技术有限公司
北京航空航天大学计算机学院
高灵超
;
董爱强
论文数:
0
引用数:
0
h-index:
0
机构:
北京中电普华信息技术有限公司
北京航空航天大学计算机学院
董爱强
.
信息安全研究,
2016,
2
(12)
:1080
-1089
[5]
区块链技术发展现状与展望
[J].
论文数:
引用数:
h-index:
机构:
袁勇
;
王飞跃
论文数:
0
引用数:
0
h-index:
0
机构:
中国科学院自动化研究所复杂系统管理与控制国家重点实验室
国防科技大学军事计算实验与平行系统技术中心
中国科学院自动化研究所复杂系统管理与控制国家重点实验室
王飞跃
.
自动化学报,
2016,
42
(04)
:481
-494
[6]
区块链与人工智能.[M].刘权.人民邮电出版社.2019, 978-7-115-50399-2
←
1
→