Blockchain system modeling and safety verification method and system 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: 2019-02-15
XIDIAN UNIV
View PDF1 Cites 13 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...

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
  • Blockchain system modeling and safety verification method and system based on MSVL
  • Blockchain system modeling and safety verification method and system based on MSVL
  • Blockchain system modeling and safety verification method and system 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 formalization methods, and discloses a blockchain system modeling and safety verification method and system based on an MSVL. The method comprises the following steps: modeling a blockchain system by using the MSVL in MC, and representing the blockchain system by a program p; describing the property of the blockchain system by using a PPTL, and expressing theproperty by a formula phi; and in the MC, adding a modeling program p of the MSVL and the property phi described by using the PPTL, and verifying the safety of the blockchain system. According to theblockchain system modeling and safety verification method based on the MSVL provided by the invention, the blockchain is modeled by using an MSVL program, and the safety property of the blockchain isdescribed by using the PPTL; the PPTL is a proposition subset of PTL, and the MSVL is an executable subset of the PTL, so that the MSVL and the PPTL can be executed in the MC in a unified mode; compared with other methods, the method does not need to use another formal languages and also does not need to call other tools and a lot of manual certifications, and only needs to provide a PPTL formulaof the property to be verified, so that the proof process is automatically completed by the 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
IPC IPC(8): H04L12/24H04L29/06H04L12/26G06F8/20G06F8/30
CPCG06F8/24G06F8/31H04L41/142H04L41/145H04L43/50H04L63/1433
Inventor 王小兵朱云凯段振华赵亮田聪张南
Owner XIDIAN 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