Protocol validation by simultaneous reachability analysis.

Kadir Özdemir Hasan Ural

Published in: Comput. Commun. (1997)

Keyphrases

reachability analysis
model checking
markov decision processes
timed automata
incremental algorithms
lightweight
formal analysis
state space
security protocols
tcp ip
cryptographic protocols
machine learning
reinforcement learning