The TLS Handshake Protocol: A Modular Analysis.

Paul Morrissey Nigel P. Smart Bogdan Warinschi

Published in: J. Cryptol. (2010)

Keyphrases

information retrieval
artificial intelligence
information systems
image analysis
statistical analysis
quantitative analysis
databases
neural network
computer vision
e learning
bayesian networks
digital libraries
formal analysis