Module Composition and Refinement with Applications to Protocol Conversion.

Kenneth L. Calvert

Published in: PSTV (1992)

Keyphrases

lightweight
real time
databases
neural network
case study
application layer
tcp ip
cryptographic protocols
web services composition
network protocols
composite web services
service oriented
web service composition
security protocols
authentication protocol