Multi-party contract signing protocol fairness verification method based on CSP# and LTL

A verification method and fairness technology, which is applied in business, instruments, data processing applications, etc., can solve the problems of fairness that is difficult to understand and analyze, low degree of automation, and high space-time complexity, so as to alleviate the problem of state explosion, facilitate improvement and Improve and reduce the effect of time complexity

Inactive Publication Date: 2014-12-24
TIANJIN UNIV
View PDF3 Cites 1 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0003] Compared with traditional security protocols, the complexity of multi-party contract signing agreements is higher, the number of message exchanges is larger, and the message sender has an advantage in protocol execution, so fairness is more difficu

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Multi-party contract signing protocol fairness verification method based on CSP# and LTL
  • Multi-party contract signing protocol fairness verification method based on CSP# and LTL
  • Multi-party contract signing protocol fairness verification method based on CSP# and LTL

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0031] The embodiments of the present invention will be further described in detail below in conjunction with the accompanying drawings.

[0032] Such as figure 1 As shown, the overall technical solution process of the present invention includes three processes: first, use CSP# language to model the multi-party contract signing agreement, then use linear temporal logic (LTL) to formally describe the fairness of the agreement, and finally The model is tested on the PAT platform, and the fairness verification and visual attack path are given. The three processes are described in detail below:

[0033] Before modeling, the present invention provides two basic assumptions:

[0034] Assumption 1: The channel between the protocol participants is unreliable, that is, the transmitted messages may be delayed or lost. But the channel between the participant and the trusted third party is a restorable channel.

[0035] Hypothesis 2: Protocol participants may be dishonest, but at leas...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

PUM

No PUM Login to view more

Abstract

The invention discloses a multi-party contract signing protocol fairness verification method based on the CSP# and LTL. The method includes the following steps that first, a multi-party contract signing protocol is modeled with the CSP# language; second, the fairness of the protocol is described in a formalized mode through the linear temporal logic (LTL), and the formal description includes state reduction and protocol fairness description; third, model check on a PAT platform is achieved, and fairness verification and a visual attack path are given out. With the method, the fairness can be automatically verified just by inputting a CSP# model of the protocol and the LTL fairness description on the basis of the protocol rules, operation is easy to perform, and the nature of the protocol can be verified practically. A state reduction rule is given for the state space explosion problem, state branch reduction is well completed, and meanwhile, the time and space complexity is reduced. The automatic tracking attack path is given so that the protocol can be improved and competed.

Description

technical field [0001] The invention relates to the field of network security protocols, in particular to a technology for verifying the fairness of a multi-party contract signing agreement. Background technique [0002] With the development of computer network technology and the popularization of e-commerce, e-commerce protocol becomes more and more important. focus on. Its fairness includes two situations, one is that all protocol participants have obtained the information they expect, and the other is that all protocol participants have not obtained the information they expect. [0003] Compared with traditional security protocols, the multi-party contract signing protocol is more complex, the number of message exchanges is larger, and the message sender has an advantage in protocol execution, so the fairness is more difficult to understand and analyze. The existing relatively mature multi-party contract signing agreement analysis methods mainly include logical reasonin...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

Application Information

Patent Timeline
no application Login to view more
IPC IPC(8): G06Q30/00
Inventor 李晓红李洪波李笑如许光全胡静
Owner TIANJIN UNIV
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap