Case Study in Protocol Validation: Validating an ATM Signalling Protocol.

Theofanis Vassiliou-Gioles Ina Schieferdecker

Published in: Formal Aspects Comput. (1998)

Keyphrases

case study
tcp ip
lightweight
genetic algorithm
network protocols
cryptographic protocols
application layer
communication protocol
formal analysis
development process
real time
authentication protocol
multi party
data dissemination
sensor networks
communication protocols
provably secure