Formal Proof of the Security Protocol in Wireless Sensor Network Based on the Petri Net.
Yingjiu GuoXuemei LiuXiufeng ShaoPublished in: CIS (2013)
Keyphrases
- petri net
- formal proof
- wireless sensor
- security protocols
- rfid tags
- wireless sensor networks
- sensor networks
- key management
- network management
- petri net model
- energy efficiency
- fault tolerance
- theorem prover
- network security
- security mechanisms
- base station
- wireless communication
- low cost
- resource constrained
- security requirements
- colored petri nets
- fuzzy petri net
- service composition
- power consumption
- cost effective
- security issues
- real time
- computer networks
- smart grid
- sensor nodes
- energy consumption
- sensor data
- wireless networks
- expert systems
- information systems