基于Event-B方法的区块链PBFT共识算法的形式化建...
授权
摘要
本发明提供一种基于Event‑B方法的区块链PBFT共识算法的形式化建模和安全性验证方法，根据PBFT共识算法在区块链上的运行机制，用Event‑B建模平台Rodin实现区块链上的PBFT共识算法，对PBFT共识算法的功能安全性进行形式化验证，包括确定模型的核心元素，根据不同元素的结构及性质转换成Event‑B模型的常量和变量，对常量定义相应公理，对变量定义相应不变式保证结构和性质成立；建立抽象模型，将算法执行过程映射为具体事件；按模块进行分层精化，增加不变式对区块链的安全性质进行表示，生成证明义务，验证算法的功能安全性。本发明实现了基于模型精化技术的区块链PBFT共识算法的形式化建模，利用形式化方法对算法的功能安全性进行了验证，并支持不同区块链共识算法的精化验证。
基本信息
专利标题 ：
基于Event-B方法的区块链PBFT共识算法的形式化建模和安全性验证方法
专利标题（英）：
暂无
公开（公告）号 ：
CN112564972A
申请号 ：
CN202011424640.7
公开（公告）日 ：
2021-03-26
申请日 ：
2020-12-09
授权号 ：
CN112564972B
授权日 ：
2022-04-05
发明人 ：
冯世玲李钦
申请人 ：
华东师范大学
申请人地址 ：
上海市闵行区东川路500号
代理机构 ：
上海德禾翰通律师事务所
代理人 ：
夏思秋
优先权 ：
CN202011424640.7
主分类号 ：
H04L12/24
IPC分类号 ：
H04L12/24 G06F16/21 H04L29/06 G06F16/27
法律状态
2022-04-05 ：
授权
2021-04-13 ：
实质审查的生效
IPC(主分类) : H04L 12/24
申请日 : 20201209
申请日 : 20201209
2021-03-26 ：
公开
注：本法律状态信息仅供参考，即时准确的法律状态信息须到国家知识产权局办理专利登记簿副本。
文件下载
暂无PDF文件可下载
