Keyphrases
- authentication protocol
- key exchange
- lightweight
- formal analysis
- access control
- coloured petri nets
- tcp ip
- security policies
- conflict resolution
- network security
- security analysis
- communication protocol
- data management
- protocol specification
- real time
- multi party
- security protocols
- distributed databases
- key distribution
- low cost
- access control systems