An Approach to Indirect Protocol Conversion.

J. C. Shu Ming T. Liu

Published in: Comput. Networks ISDN Syst. (1991)

Keyphrases

communication protocol
lightweight
application layer
coloured petri nets
formal analysis
security protocols
tcp ip
cryptographic protocols
denial of service attacks