Wireless sensor network security protocol verification method based on model checking

A network security protocol and wireless sensor technology, applied in the field of security protocol verification, can solve the problems that the end-to-end encryption mechanism cannot be used in wireless sensor networks, digital signatures cannot be performed, sensor nodes have weak processing capabilities, storage capabilities, and communication capabilities.
CN103476033AActive Publication Date: 2013-12-25NANJING UNIV
3 Cites 14 Cited by

Patent Information

Authority / Receiving Office
CN · China
Patent Type
Applications(China)
Current Assignee / Owner
NANJING UNIV
Publication Date
2013-12-25

Smart Images

  • Figure 1
    Figure 1
  • Figure 2
    Figure 2
  • Figure 3
    Figure 3
Patent Text Reader

Abstract

The invention discloses a wireless sensor network security protocol verification method based on model checking. A state migratory system formed by a timed automata represents a wireless sensor network security protocol, a modal / time sequence logical formula represents the conditions which need to be met by the security protocol in the wireless sensor network, and the verification of the wireless sensor network security protocol is converted into a model carrying out verification that whether the state migratory system is a formula. According to the wireless sensor network security protocol verification method based on model checking, the characteristics of the wireless sensor network are sufficiently considered during the security protocol verification process, a clock restraint condition is added in the modal / time sequence logical formula, and comprehensive verification can be conducted on the wireless sensor network security protocol.
Need to check novelty before this filing date? Find Prior Art

Description

technical field

[0001] The invention relates to a safety protocol verification method, which mainly uses model checking technology to solve the safety verification problem of the wireless sensor network protocol, and belongs to the cross-technical application of computer technology, wireless communication, wireless sensor network, real-time technology, distributed system and verification technology field. Background technique

[0002] Wireless sensor network is a brand-new information acquisition and processing technology, which can collaboratively monitor, perceive and collect information of various environments or monitoring objects in the network distribution area in real time, and process the information to obtain detailed and accurate information. Send to users who need this information. The sensor network can enable people to obtain a large amount of detailed and reliable information at any time, place and under any environmental conditions, and has a very broad appli...

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