Using a Formal Technique for Protocol Idealization: A Cautionary Note.

Published in: DEXA Workshops (2002)

Keyphrases

formal analysis
formal model
formal methods
formal representation
network protocols
coloured petri nets
lightweight
communication protocols
file transfer
data sets
genetic algorithm
information systems
low cost
security analysis
authentication protocol
application layer