Analysing TLS in the Strand Spaces Model
In this paper, we analyse the Transport Layer Security (TLS) protocol within the strand spaces setting. In <a href='\"http://www.comlab.ox.ac.uk/people/gavin.lowe/Security/Papers/layering.ps\"' target='\"_blank\"'>[BL03]</a> Broadfoot and Lowe sugg...
| Main Authors: | , |
|---|---|
| Format: | Report |
| Published: |
2008
|