Supercharge Your Innovation With Domain-Expert AI Agents!

Method and system for blockchain system modeling and security verification based on msvl

A system modeling and blockchain technology, applied in the field of computer-aided design, can solve problems such as low security

Active Publication Date: 2021-06-01
XIDIAN UNIV
View PDF1 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0005] To sum up, the problems existing in the existing technology are: the existing blockchain technology is easy to obtain the transaction information and account balance of the user's account, and the security is low

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
  • Method and system for blockchain system modeling and security verification based on msvl
  • Method and system for blockchain system modeling and security verification based on msvl
  • Method and system for blockchain system modeling and security verification based on msvl

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0068] In order to make the object, technical solution and advantages of the present invention more clear, the present invention will be further described in detail below in conjunction with the examples. It should be understood that the specific embodiments described here are only used to explain the present invention, not to limit the present invention.

[0069] Aiming at the security issues that are concerned by users in the current block chain system; the present invention applies the formal method to the block chain system security verification, and is used for the security verification of computer software and hardware. The invention uses MSVL to model the block chain, uses PPTL to describe the property of the block chain, and finally verifies in the MC to determine whether the property of the block chain is correct.

[0070] The application principle of the present invention will be described in detail below in conjunction with the accompanying drawings.

[0071] Such ...

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 belongs to the field of formal methods, and discloses a method and system for modeling and security verification of a block chain system based on MSVL. In MC, MSVL is used to model the block chain system, expressed by program p; by PPTL Describe the nature of the blockchain system, expressed by the formula φ; in MC, add the modeling program p of MSVL and the property φ described by PPTL to verify the security of the blockchain system. The block chain of the present invention is modeled with the MSVL program, and the security properties of the block chain are described by PPTL, and PPTL is a proposition subset of PTL, and MSVL is an executable subset of PTL, so MSVL and PPTL can be unified in MC Compared with other methods, the present invention does not need to use another formal language, nor does it need to call other tools and a large number of manual proofs. It only needs to provide the PPTL formula to be verified, and the proof process is automatically completed by MC.

Description

technical field [0001] The invention belongs to the technical field of computer-aided design, and in particular relates to a method and system for modeling and safety verification of a block chain system based on MSVL. Background technique [0002] At present, the existing technologies commonly used in the industry are as follows: At present, the technological development of system applications using blockchain technology can be roughly divided into three stages. The first stage mainly develops into a digital encrypted currency system; the second stage mainly develops into a financial system; the third stage mainly develops into a blockchain society. We are currently in the early stages of Phase 2, and we certainly won't be in that period for long. The blockchain organizes data with time clues, and packs the data into blocks every once in a while, and then links these blocks in a chain and chronological order to form a specific data structure, which ensures its traceability...

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
Patent Type & Authority Patents(China)
IPC IPC(8): H04L12/24H04L29/06H04L12/26G06F8/20G06F8/30
CPCG06F8/24G06F8/31H04L41/142H04L41/145H04L43/50H04L63/1433
Inventor 王小兵朱云凯段振华赵亮田聪张南
Owner XIDIAN UNIV
Features
  • R&D
  • Intellectual Property
  • Life Sciences
  • Materials
  • Tech Scout
Why Patsnap Eureka
  • Unparalleled Data Quality
  • Higher Quality Content
  • 60% Fewer Hallucinations
Social media
Patsnap Eureka Blog
Learn More

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

© 2025 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com