[发明专利]一种基于Coq的安全跨链协议生成方法有效
| 申请号： | 202110621642.3 | 申请日： | 2021-06-04 |
| 公开（公告）号： | CN113079221B | 公开（公告）日： | 2021-08-24 |
| 发明（设计）人： | 张龙;石鎏澂 | 申请（专利权）人： | 军事科学院系统工程研究院网络信息研究所 |
| 主分类号： | H04L29/08 | 分类号： | H04L29/08;G06Q20/06;G06Q40/04 |
| 代理公司： | 中国和平利用军工技术协会专利中心 11215 | 代理人： | 刘光德 |
| 地址： | 100141 *** | 国省代码： | 北京;11 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明提出一种基于Coq的安全跨链协议生成方法，所述方法包括以下步骤：步骤一：确定协议需求；步骤11：确定协议基本目标；步骤12：确定协议使用范围和流程；步骤13：确定协议约束；步骤14：建立需求形式化规范；步骤二：协议分析；分析协议具体内容，将协议流程序列化，并获得模型元素：步骤三：协议建模与验证；步骤31：行为建模；步骤32：需求形式化规范描述；步骤33：性质验证；步骤四：协议代码自动生成；步骤41：将逻辑部分消除；步骤42：生成信息部分代码；步骤五：进行一致性验证；步骤51：静态测试验证；步骤52：动态测试验证；步骤53：生成一致性验证报告。 | ||
| 搜索关键词： | 一种 基于 coq 安全 协议 生成 方法 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于军事科学院系统工程研究院网络信息研究所，未经军事科学院系统工程研究院网络信息研究所许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202110621642.3/，转载请声明来源钻瓜专利网。
