[发明专利]一种场外交易智能合约的形式验证方法在审
| 申请号： | 201910772367.8 | 申请日： | 2019-08-21 |
| 公开（公告）号： | CN110533533A | 公开（公告）日： | 2019-12-03 |
| 发明（设计）人： | 邱炜伟;李伟;李启雷;梁秀波;尹可挺;吕端坤 | 申请（专利权）人： | 杭州趣链科技有限公司 |
| 主分类号： | G06Q40/04 | 分类号： | G06Q40/04 |
| 代理公司： | 33200 杭州求是专利事务所有限公司 | 代理人： | 邱启旺<国际申请>=<国际公布>=<进入 |
| 地址： | 310051 浙江省杭州市*** | 国省代码： | 浙江;33 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种场外交易智能合约的形式验证方法，涉及智能合约和形式验证的技术领域。该方法主要包括定义场外交易智能合约、定义形式验证规范与形式验证过程。本发明所公开的的场外交易智能合约的形式验证方法，提供了一套通用的场外交易流程相关的智能合约形式验证模型，为场外交易智能合约相关业务提供了一套安全形式化验证的标准。本方法基于软件形式化验证方法进行设计，在合约设计上面提高场外交易智能合约的安全性。本发明的形式化验证方法具有通用性，对于场外交易相关的智能合约都可以使用本方法进行开发和安全审计，对于场外交易一类业务系统而言，可以很好的适用。 | ||
| 搜索关键词： | 场外交易 形式验证 智能 形式化验证 安全审计 定义形式 基于软件 业务提供 业务系统 通用的 验证 安全 开发 | ||
【主权项】：
1.一种场外交易智能合约的形式验证方法，其特征在于，具体包括以下步骤：/n(1)定义场外交易智能合约，进行场外交易，所述场外交易的方法包括对所述场外交易智能合约的数据结构、合约方法的声明与实现。/n(2)定义形式验证规范，描述步骤(1)所述场外交易的方法所实现的功能，规范所述智能合约中每个场外交易合约相关的合约方法的功能、循环体、返回值和内部状态变量的属性值变化。/n(3)利用步骤(2)所述形式验证规范对所述场外交易智能合约进行形式验证，根据所述形式验证模型，检查步骤(1)所述场外交易的方法实现是否符合步骤(2)所述形式验证规范的描述。若符合则代表所述场外交易智能合约安全；若不符合则修改所述场外交易智能合约，直至形式验证描述符合场外交易功能中相关实现。/n
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于杭州趣链科技有限公司，未经杭州趣链科技有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201910772367.8/，转载请声明来源钻瓜专利网。
