On the Specication and Analysis of Secure Transport Layers

Christopher Dilloway

School	Oxford University Computing Laboratory
Year	2008

Links

Activities

Security