Keyphrases
- cryptographic protocols
- protocol specification
- communication protocols
- multiple access
- security protocols
- key agreement protocol
- colored petri nets
- medium access control
- multi party
- case study
- communication protocol
- authentication protocol
- concurrency control protocols
- group communication
- data transmission
- ad hoc networks
- model checking
- network protocols
- voting protocols
- message delivery
- wireless medium
- fair exchange protocols
- multi party non repudiation
- trusted third party
- mac protocol
- tcp ip
- formal verification
- formal analysis
- lightweight
- sensor networks