Formal Analysis of the TLS Handshake Protocol.

Hanane Houmani Mourad Debbabi

Published in: SECRYPT (2012)

Keyphrases

formal analysis
ban logic
formal methods
agent model
parameter estimation
ad hoc networks