Verification of Group Key Management of IEEE 802.21 Using ProVerif.
Ryoga NoguchiYoshikazu HanataniKazuki YoneyamaPublished in: IEICE Trans. Inf. Syst. (2021)
Keyphrases
- model checking
- formal analysis
- neural network
- high security
- functional verification
- intelligent agent technology
- verification method
- asynchronous circuits
- security systems
- formal verification
- signature verification
- image processing
- information retrieval
- machine learning
- formal methods
- temporal logic
- evolutionary algorithm
- expert systems
- multi agent
- website
- databases