Exploring the state space of an application protocol: A case study of SMTP.
Patrick LaRocheA. Nur Zincir-HeywoodMalcolm I. HeywoodPublished in: CICS (2011)
Keyphrases
- state space
- heuristic search
- reinforcement learning
- state variables
- dynamic programming
- case study
- test bed
- lightweight
- dynamical systems
- markov chain
- particle filter
- optimal policy
- state information
- application layer
- planning problems
- formal analysis
- markov decision processes
- markov decision process
- file transfer
- belief state
- dynamic systems
- tcp ip
- cryptographic protocols
- search space
- coloured petri nets