Synthesizing a Protocol Converter from Executable Protocol Traces.

Murali Rajagopal Raymond E. Miller

Published in: IEEE Trans. Computers (1991)

Keyphrases

lightweight
cryptographic protocols
communication protocol
application layer
data sets
security analysis
security protocols
network protocols
authentication protocol
communication protocols
real time
petri net
file transfer