VADILOC - A Protocol Validator and Its Applications.

Omar Rafiq Jean-Pierre Ansart

Published in: Protocol Specification, Testing, and Verification (1983)

Keyphrases

lightweight
tcp ip
coloured petri nets
authentication protocol
cryptographic protocols
group communication
network protocols
neural network
social networks
multi party
formal analysis
security protocols
communication protocol
concurrency control protocols
communication protocols
file transfer