A Normalized Form for FIFO Protocols Traces, Application to the Replay of Mode-based Protocols.

Mamoun Filali Meriem Ouederni Jean-Baptiste Raclet

Published in: FTSCS (2014)

Keyphrases

application level
communication protocol
communication protocols
authentication protocol
video sequences
security protocols