From Service Specification to Protocol Entity Impelmentation - An Exercise in Formal Protocol Development.
Claus DendorferRainer WeberPublished in: PSTV (1992)
Keyphrases
- protocol specification
- formal specification
- formal analysis
- communication protocols
- formal methods
- internet protocol
- cryptographic protocols
- tcp ip
- lightweight
- case study
- service oriented
- operational semantics
- message delivery
- group communication
- communication protocol
- service composition
- development process
- end to end
- knowledge based systems
- high level