Keyphrases
- ping pong
- authentication protocol
- key exchange protocol
- denial of service attacks
- lightweight
- key agreement
- security protocols
- coloured petri nets
- network protocols
- countermeasures
- communication protocol
- dos attacks
- cryptographic protocols
- security analysis
- formal analysis
- attack scenarios
- intrusion detection system
- digital libraries