-
题名区块链技术及其研究进展
被引量：37
- 1
-
-
作者
朱岩
王巧石
秦博涵
王中豪
-
机构
北京科技大学计算机与通信工程学院
-
出处
《工程科学学报》
EI
CSCD
北大核心
2019年第11期1361-1373,共13页
-
基金
国家重点研发计划资助项目（2018YFB1402702）
国家自然科学基金资助项目（61972032）
-
文摘
从区块链的设计和需求出发,阐明了区块链技术中的基本概念与特征及其基础架构;其次,以比特币为例详细介绍了区块链中各种机制,包括:区块结构与防篡改机制、交易结构与脚本语言、交易人员身份鉴别机制以及网络高效交易传播机制等;而且,按照证明类、拜占庭类、传统共识类及混合共识类等类型,详细描述了当前几种主流的区块链共识算法;此外,对智能合约的概念、组织结构及模块关系以及执行方式与过程进行了讨论;最后,对区块链面临的主要安全挑战进行了总结,从而达到系统地把握区块链技术发展和趋势的目的.
-
关键词
区块链
去中心化
共识算法
智能合约
分布式系统
-
Keywords
blockchain
decentralization
consensus algorithm
smart contract
distributed system
-
分类号
TP319
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于安全多方计算的区块链智能合约执行系统
被引量：17
- 2
-
-
作者
朱岩
宋晓旭
薛显斌
秦博涵
刘国伟
-
机构
北京科技大学计算机与通信工程学院
北京市经济和信息化委员会
-
出处
《密码学报》
CSCD
2019年第2期246-257,共12页
-
基金
北京市经济和信息化委员会项目(政务大数据网络安全问题研究)
国家自然科学基金项目(61472032)
+1 种基金
NSFC-通用技术基础研究联合基金项目(U1636104)
海外及港澳学者合作研究基金项目(61628201)~~
-
文摘
智能合约是一种两方或多方缔结的、具有法律效力的可执行计算机协议,它作为区块链核心技术日益受到重视,然而如何保证数字资产中隐私信息在交易中的私密性,以及提供智能合约的抗攻击能力仍然是尚待解决的问题.本文通过提出基于安全多方计算(SMPC)的智能合约框架、面向线性秘密共享的公平SMPC算法设计、以及非阻塞信息传递接口等三方面技术,保障了计算节点错误下的安全群组通信,规范了基于SMPC的智能合约执行流程、语言结构和语法规范,保证了智能合约执行中的输入隐私性和计算正确性,从而增强了区块链中智能合约执行安全.
-
关键词
区块链
智能合约
安全多方计算
非阻塞MPI
-
Keywords
Blockchain
smart contract
secure multi-party computation
non-blocking MPI
-
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
TN918
[自动化与计算机技术—计算机科学与技术]
-
-
题名网络安全等级保护下的区块链评估方法
被引量：11
- 3
-
-
作者
朱岩
张艺
王迪
秦博涵
郭倩
冯荣权
赵章界
-
机构
北京科技大学计算机与通信工程学院
中国科学院软件研究所
北京大学数学科学学院
北京信息安全测评中心
-
出处
《工程科学学报》
EI
CSCD
北大核心
2020年第10期1267-1285,共19页
-
基金
国家科技部重点研发计划资助项目(2018YFB1402702)
国家自然科学基金资助项目(61972032)
北京市经济和信息化局资助项目(HTBH_20200901_573)。
-
文摘
等级保护(简称等保)是我国信息安全的基本政策,随着区块链技术在各行业中的应用日趋广泛,有必要同步推进区块链系统的等级保护测评工作,这将有利于推动该技术在我国的持续健康发展.有鉴于此,依据等保第三级的应用和数据安全要求,给出了区块链系统中对等网络、分布式账本、共识机制和智能合约等核心技术的具体测评要求及实施方案,并从等保2.0规定的控制点出发,分别对当前区块链系统运行数据与基于日志流程的安全审计机制进行了归纳与分析.通过上述评估与分析可知区块链系统在软件容错、资源控制和备份与恢复等方面满足等保要求,而在安全审计、身份鉴别、数据完整性等方面则有待进一步改进.
-
关键词
区块链
网络安全等级保护
对等网络
共识机制
评估与分析
-
Keywords
blockchain
classified protection of cybersecurity
peer-to-peer network
consensus mechanism
assessment and analysis
-
分类号
TP306
[自动化与计算机技术—计算机系统结构]
-
-
题名一种高级智能合约转化方法及竞买合约设计与实现
被引量：10
- 4
-
-
作者
朱岩
秦博涵
陈娥
刘国伟
-
机构
北京科技大学计算机与通信工程学院
北京市经济和信息化局
-
出处
《计算机学报》
EI
CSCD
北大核心
2021年第3期652-668,共17页
-
基金
国家科技部重点研发计划(2018YFB1402702)
国家自然科学基金(61972032)。
-
文摘
智能合约是运行在区块链上的数字协议,智能合约的开发涉及计算机、金融、法律等多个领域,近年来高级智能合约语言已被提出用于解决不同领域人员阅读、交流与协同开发难的问题,然而上述语言与可执行智能合约语言之间仍缺少有效的转化方法.针对这一问题,本文设计了一种SPESC到目标程序语言(Solidity)的转化规则,并提出了一种包括高级智能合约层、智能合约层和机器代码执行层的三层智能合约系统框架.首先,转化规则给出了根据SPESC合约当事人定义生成目标语言当事人子合约、以及SPESC其余部分生成目标语言主体子合约之间的对应关系;其次,除程序框架与存储结构外,目标语言程序还包含当事人人员管理、程序时序控制、异常检测等机制,这些机制能辅助编程人员半自动化地编写智能合约程序;进而,通过两个实验验证了上述高级智能合约框架的易读性以及转换的正确性,第一个实验邀请了计算机与非计算机人员分组阅读Solidity和SPESC的智能合约并回答问卷,结果表明阅读SPESC的速度约为阅读Solidity两倍,准确率也更高.然后以竞买合约为实例,给出了根据上述转化规则从SPESC合约转化到可执行Solidity合约语言程序,并通过以太坊私链部署运行来验证转化过程的正确性.实例表明上述转化规则和系统框架可简化智能合约的编写、规范智能合约的程序结构、辅助编程人员验证代码的正确性.
-
关键词
智能合约
面向领域语言
代码生成
SPESC
-
Keywords
smart contract
domain specific language
code generation
SPESC
-
分类号
TP319
[自动化与计算机技术—计算机软件与理论]
-
-
题名SPESC:面向法律的智能合约设计与实践
被引量：2
- 5
-
-
作者
王迪
秦博涵
宋伟静
朱岩
-
机构
北京科技大学计算机与通信工程学院
-
出处
《网络空间安全》
2020年第9期39-46,共8页
-
基金
国家科技部重点研发计划(项目编号:2018YFB1402702)
国家自然科学基金(项目编号:61972032)。
-
文摘
智能合约是近年来随着区块链技术兴起而发展起来的一种程序设计、部署及运行的新构架,但目前仍缺少较为完备的面向法律智能合约语言。据此,文章对一种面向法律的智能合约描述语言—SPESC的规范化方法进行了详细介绍,它以类似于现实合同的结构、类似自然语言的语法设计实现智能合约的编撰,明确定义了当事人的义务和权利,制定了时间表达式规范及加密货币的交易规则,达到了提高合约法律性、便于法律人士与计算机人员协作合约开发、易于理解和使用的目的。
-
关键词
智能法律合约
SPESC
规范
区块链
-
Keywords
smart legal contracts
SPESC
specification
blockchain
-
分类号
TP312
[自动化与计算机技术—计算机软件与理论]
-
