The CL-Atse Protocol Analyser.

Mathieu Turuani

Published in: RTA (2006)

Keyphrases

lightweight
formal analysis
coloured petri nets
tcp ip
cryptographic protocols
network simulator
real time
neural network
web services
low cost
privacy preserving
communication protocol
key distribution