Formal Verification of IEEE802.16m PKMv3 Protocol Using CasperFDR.
K. V. Krishnam RajuV. Valli KumariN. Sandeep VarmaK. V. S. V. N. RajuPublished in: ICT (2010)
Keyphrases
- formal verification
- coloured petri nets
- model checker
- model checking
- cryptographic protocols
- automated verification
- symbolic model checking
- mac protocol
- medium access control
- bounded model checking
- formal methods
- description language
- wireless lan
- formal analysis
- artificial intelligence
- mac layer
- computer society
- formal specification
- program slicing
- wireless sensor networks