Proving "no Cliques" in a Protocol.

Agathe Merceron

Published in: ACSC (2001)

Keyphrases

lightweight
coloured petri nets
cryptographic protocols
random variables
security protocols
real time
formal analysis
application layer
neural network
case study
security analysis
communication protocol
network simulator