Panel Session: Is Protocol Modelling Finished?

Published in: Security Protocols Workshop (2003)

Keyphrases

lightweight
cryptographic protocols
formal analysis
network protocols
coloured petri nets
data sets
neural network
genetic algorithm
artificial intelligence
information systems
knowledge base
website
multi party
key distribution
network simulator
file transfer