Skip to main content

On the Specication and Analysis of Secure Transport Layers

Christopher Dilloway

School
Oxford University Computing Laboratory
Year
2008