首页> 中国专利> 基于CSP#和LTL逻辑的多方合同签署协议公平性验证方法

基于CSP#和LTL逻辑的多方合同签署协议公平性验证方法

页面导航

摘要
著录项
法律信息
相似文献

摘要

本发明公开了一种基于CSP#和LTL逻辑的多方合同签署协议公平性验证方法，该方法包括以下步骤：步骤一、用CSP#语言对多方合同签署协议进行建模；步骤二、用线性时序逻辑（LTL）对协议的公平性进行形式化描述，具体包括状态约减和协议公平性描述；步骤三、实现PAT平台上的模型检测，给出公平性验证和可视化攻击路径。本发明只需在协议规则的基础上，输入协议CSP#模型和LTL公平性描述，即可实现公平性自动验证，操作简单，能够切实验证协议性质；并针对状态空间爆炸问题给出了状态约减规则，较好的完成了状态分支约减，同时减小了时空复杂度。并给出自动跟踪攻击路径来方便协议的改进和完善。

著录项

公开/公告号CN104240092A

专利类型发明专利
公开/公告日2014-12-24

原文格式PDF
申请/专利权人天津大学;
展开▼

申请/专利号CN201410157935.0
发明设计人李晓红;李洪波;李笑如;许光全;胡静;
展开▼

申请日2014-04-18
分类号G06Q30/00;
代理机构天津市北洋有限责任专利代理事务所;
代理人李素兰
地址 300072 天津市南开区卫津路72号
入库时间 2023-12-17 04:48:46

法律信息

法律状态公告日

法律状态信息

法律状态
2017-12-05

发明专利申请公布后的视为撤回 IPC(主分类):G06Q30/00 申请公布日:20141224 申请日:20140418

发明专利申请公布后的视为撤回
2015-01-14

实质审查的生效 IPC(主分类):G06Q30/00 申请日:20140418

实质审查的生效
2014-12-24

公开

公开

相似文献

专利
中文文献
外文文献

1. 基于CSP#和LTL逻辑的多方合同签署协议公平性验证方法 [P] . 中国专利： CN104240092A . 2014-12-24
2. 基于区块链的多方合同签署方法 [P] . 中国专利： CN113378196A . 2021-09-10
3. CONTRACT AGREEMENT METHOD, AGREEMENT VERIFICATION METHOD, CONTRACT AGREEMENT SYSTEM, AGREEMENT VERIFICATION DEVICE, CONTRACT AGREEMENT DEVICE, CONTRACT AGREEMENT PROGRAM AND AGREEMENT VERIFICATION PROGRAM [P] . 欧洲知识产权局专利： EP3324355B1 . 2020-08-26

机译：合同协议方法，协议验证方法，合同协议系统，协议验证设备，合同协议设备，合同协议程序和协议验证程序
4. CONTRACT AGREEMENT METHOD, AGREEMENT VERIFICATION METHOD, CONTRACT AGREEMENT SYSTEM, AGREEMENT VERIFICATION DEVICE, CONTRACT AGREEMENT DEVICE, CONTRACT AGREEMENT PROGRAM AND AGREEMENT VERIFICATION PROGRAM [P] . 欧洲知识产权局专利： EP3324355A4 . 2019-03-06

机译：合同协议方法，协议验证方法，合同协议系统，协议验证设备，合同协议设备，合同协议程序和协议验证程序
5. Contract Agreement Method, Agreement Verification Method, Contract Agreement System, Agreement Verification Device, Contract Agreement Device, Contract Agreement Program and Agreement Verification Program [P] . 美国专利： US2018205555A1 . 2018-07-19

机译：合同协议方法，协议验证方法，合同协议系统，协议验证设备，合同协议设备，合同协议程序和协议验证程序