Group Key Management Protocol (GKMP) Specification.
Hugh HarneyCarl MuckenhirnPublished in: RFC (1997)
Keyphrases
- protocol specification
- formal specification
- communication protocols
- lightweight
- colored petri nets
- state machines
- coloured petri nets
- formal analysis
- security protocols
- network protocols
- state machine
- cryptographic protocols
- formal verification
- web services
- neural network
- conceptual model
- database
- authentication protocol
- petri net
- key distribution
- distributed systems
- high level
- reactive systems
- provably correct
- e learning
- genetic algorithm
- databases
- real time