Inferring Protocol State Machine from Real-World Trace.

Yipeng Wang Zhibin Zhang Li Guo

Published in: RAID (2010)

Keyphrases

state machine
state machines
real world
fault tolerant
wide range
data sets
finite state machines
database
case study
lightweight
communication protocol
data mining
synthetic data
formal analysis
cryptographic protocols
hidden markov models