Keyphrases
- coloured petri nets
- authentication protocol
- secure communication
- security analysis
- test bed
- key distribution
- lightweight
- real time
- pedestrian detection
- data transmission
- formal analysis
- wireless local area network
- high security
- mutual authentication
- application layer
- password authentication
- key agreement protocol
- private key
- formal verification
- wireless sensor networks