A generic framework for n-protocol compatibility checking.

Francisco Durán Meriem Ouederni Gwen Salaün

Published in: Sci. Comput. Program. (2012)

Keyphrases

artificial intelligence
lightweight
formal analysis
communication protocol
authentication protocol
cryptographic protocols
application layer
information systems
website
cooperative
communication protocols
group communication
network simulator
network protocols
file transfer