温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。

本发明公开一种基于动态策略的区块链共识协议形式化分析方法及装置，所述方法包括：基于多重集写规则形式化描述区块链共识协议的实体交互逻辑，形成实体状态转移规则；基于多重集写规则形式化刻画敌手模型，得到验证约束规则；基于多重集写规则形式化描述区块...
该专利属于中国科学院信息工程研究所所有，仅供学习研究参考，未经过中国科学院信息工程研究所授权不得商用。

详细技术文档下载地址

温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。