Finite-State Analysis of SSL 3.0.

John C. Mitchell Vitaly Shmatikov Ulrich Stern

Published in: USENIX Security Symposium (1998)

Keyphrases

finite state
markov chain
markov decision processes
semi supervised learning
tree automata