Checking Protocol Compatibility using Maude.

Francisco Durán Meriem Ouederni Gwen Salaün

Published in: Electron. Notes Theor. Comput. Sci. (2009)

Keyphrases

lightweight
communication protocol
neural network
authentication protocol
cryptographic protocols
data sets
formal analysis
case study
formal specification
multi party
elliptic curve
application layer
ip address
coloured petri nets