Skip to main content

Analysing TLS in the strand spaced model

Allaa Kamil and Gavin Lowe

Journal
Journal of Computer Security
Number
5
Pages
975–1025
Volume
19
Year
2011