龙图腾网&IPTOP
- 微信扫码登录
- 账号密码登录
- 短信登录/注册
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
申请/专利权人：中国科学技术大学
摘要：本发明适用于计算机网络协议安全分析领域，提供了一种面向区块链底层协议的形式化建模与验证方法及系统，所述方法包括以下步骤：输入区块链底层协议中对每个共识节点的执行过程描述，输入待验证的共识属性的逻辑描述；设定该区块链底层协议的运行约束条件，该运行约束条件至少包括网络条件和敌手模型；根据每个共识节点的执行过程描述，及其中与节点群体相关的关键字得到对节点群体执行逻辑的描述，建立共识协议模型；本发明使用从网络节点群组出发的全新建模与验证思路，与已有的形式化建模方法相比，该方法在保证正确性的前提下极大地缩减了需要验证的状态空间，避免状态空间爆炸的问题，保证在有限的时间内获得正确的结果。
主权项：1.一种面向区块链底层协议的形式化建模与验证方法，其特征在于，所述方法包括以下步骤：输入区块链底层协议中对每个共识节点的执行过程描述，输入待验证的共识属性的逻辑描述；设定该区块链底层协议的运行约束条件，该运行约束条件至少包括网络条件和敌手模型；根据每个共识节点的执行过程描述，及其中与节点群体相关的关键字得到对节点群体执行逻辑的描述，建立共识协议模型；遵循所述待验证的共识属性，通过内置的约束求解规则逆向推理所述共识协议模型执行中是否存在违反待验证的共识属性的路径；检测推理的路径上与执行轮次相关的环状结构，并在满足预设规则时终止推理，在推理终止后输出协议验证结果；所述根据每个共识节点的执行过程描述，及其中与节点群体相关的关键字得到对节点群体执行逻辑的描述，建立共识协议模型的步骤，具体包括：将单个共识节点的执行逻辑中与节点群体相关的关键字提取出来；基于翻译规则，在预设三元组语句的指定部分添加约束，得到模型语句，进而建立共识协议模型；对相关约束添加解释：在群体逻辑规则语句生成中，会得到一系列的未解释的约束动作，需要添加对这部分约束动作进行解释的约束描述语句，以便得到完整的共识协议模型。
全文数据：
权利要求：
百度查询： 中国科学技术大学 面向区块链底层协议的形式化建模与验证方法及系统
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
主营中国专利交易买卖与专利转让许可,高校科技成果推广与科技成果转化,知识产权运营管理与平台开发,科技人才专家库与科技猎头等科技服务
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号