Towards Flexible Finite-State-Machine-Based Protocol Composition.

Richard Ekwall Sergio Mena Stefan Pleisch André Schiper

Published in: NCA (2004)

Keyphrases

finite state machines
lightweight
model checking
state machine
finite state automata
digital circuits
databases
state transition
security protocols
communication protocol
relational databases
regular expressions
formal analysis
authentication protocol
tcp ip
medical devices