期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于Event-B的区块链Raft共识形式化建模方法
1
作者
陈中绪
任睿
崔慧敏
《山西电子技术》
2025年第2期97-99,共3页
Raft共识机制是一个关键的分布式系统组件,用于确保数据一致性和容错性。在工业互联网等领域,数据的准确性和系统的可用性至关重要。通过Event-B方法,可以精确地规约Raft共识机制的行为和性质,确保其在各种情况下能够正确运行。基于此,...
Raft共识机制是一个关键的分布式系统组件,用于确保数据一致性和容错性。在工业互联网等领域,数据的准确性和系统的可用性至关重要。通过Event-B方法,可以精确地规约Raft共识机制的行为和性质,确保其在各种情况下能够正确运行。基于此,提出一种基于Event-B方法的区块链Raft共识机制的形式化建模方法,以期为Raft共识机制的设计、开发和维护提供更高的可信度。
展开更多
关键词
raft共识算法
Event-B方法
形式化建模
在线阅读
下载PDF
职称材料
基于区块链的精准扶贫数据保护方案
被引量：
4
2
作者
张利华
黄阳
+3 位作者
王欣怡
白甲义
曹宇
张赣哲
《应用科学学报》
CAS
CSCD
北大核心
2021年第1期135-150,共16页
针对目前数据管理中普遍存在的中心化存储、防篡改性弱、可追溯性差、缺乏安全有效的共享渠道等问题,借助区块链技术的去中心化、不可篡改等特性研究了一种基于区块链的精准扶贫数据保护方案。以个人档案的形式记录扶贫数据,依托智能合...
针对目前数据管理中普遍存在的中心化存储、防篡改性弱、可追溯性差、缺乏安全有效的共享渠道等问题,借助区块链技术的去中心化、不可篡改等特性研究了一种基于区块链的精准扶贫数据保护方案。以个人档案的形式记录扶贫数据,依托智能合约和星际文件系统等技术使数据以数字档案形式进行新增、更新、验证、共享。将公有链和联盟链结合,以锚定数据快照信息的方式保障数据的安全性。在智能合约构建过程中,采用安全多方计算(secure multi-party computation,SMPC)技术增强合约的执行安全性,解决资金转账等敏感问题。改进Raft共识算法,将各节点的性能、可靠性、地区影响力等维度作为综合性能,设计基于节点综合性能的Raft共识算法,解决数据存储和数据处理效率的问题。利用Postman、JMeter等工具对系统的存证、吞吐量进行测试,所得结果能满足系统的需求。
展开更多
关键词
精准扶贫数据
区块链
安全多方计算
星际文件系统
raft共识算法
在线阅读
下载PDF
职称材料
题名
基于Event-B的区块链Raft共识形式化建模方法
1
作者
陈中绪
任睿
崔慧敏
机构
山西股权交易中心有限公司
山西晋兴资本信用发展服务有限公司
出处
《山西电子技术》
2025年第2期97-99,共3页
基金
山西省重点研发计划“区域性股权市场金融服务创新关键技术研发及应用示范”(202102020101016)。
文摘
Raft共识机制是一个关键的分布式系统组件,用于确保数据一致性和容错性。在工业互联网等领域,数据的准确性和系统的可用性至关重要。通过Event-B方法,可以精确地规约Raft共识机制的行为和性质,确保其在各种情况下能够正确运行。基于此,提出一种基于Event-B方法的区块链Raft共识机制的形式化建模方法,以期为Raft共识机制的设计、开发和维护提供更高的可信度。
关键词
raft共识算法
Event-B方法
形式化建模
Keywords
raft
consensus mechanism
Event-B method
formal modeling
分类号
TP301.6 [自动化与计算机技术—计算机系统结构]
TP302 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
基于区块链的精准扶贫数据保护方案
被引量：
4
2
作者
张利华
黄阳
王欣怡
白甲义
曹宇
张赣哲
机构
华东交通大学软件学院
华东交通大学电气与自动化工程学院
出处
《应用科学学报》
CAS
CSCD
北大核心
2021年第1期135-150,共16页
基金
国家自然科学基金(No.61563016)
江西省教育厅科技项目基金(No.GJJ14371)资助。
文摘
针对目前数据管理中普遍存在的中心化存储、防篡改性弱、可追溯性差、缺乏安全有效的共享渠道等问题,借助区块链技术的去中心化、不可篡改等特性研究了一种基于区块链的精准扶贫数据保护方案。以个人档案的形式记录扶贫数据,依托智能合约和星际文件系统等技术使数据以数字档案形式进行新增、更新、验证、共享。将公有链和联盟链结合,以锚定数据快照信息的方式保障数据的安全性。在智能合约构建过程中,采用安全多方计算(secure multi-party computation,SMPC)技术增强合约的执行安全性,解决资金转账等敏感问题。改进Raft共识算法,将各节点的性能、可靠性、地区影响力等维度作为综合性能,设计基于节点综合性能的Raft共识算法,解决数据存储和数据处理效率的问题。利用Postman、JMeter等工具对系统的存证、吞吐量进行测试,所得结果能满足系统的需求。
关键词
精准扶贫数据
区块链
安全多方计算
星际文件系统
raft共识算法
Keywords
data of targeted poverty alleviation
blockchain
secure multi-party computing(SMPC)
inter-planetary file system(IPFS)
raft
consensus algorithm
分类号
TP309 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于Event-B的区块链Raft共识形式化建模方法
陈中绪
任睿
崔慧敏
《山西电子技术》
2025
0
在线阅读
下载PDF
职称材料
2
基于区块链的精准扶贫数据保护方案
张利华
黄阳
王欣怡
白甲义
曹宇
张赣哲
《应用科学学报》
CAS
CSCD
北大核心
2021
4
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
