Analysing TLS in the strand spaces model
In this paper, we analyse the Transport Layer Security (TLS) protocol (in particular, bilateral TLS in public-key mode) within the strand spaces setting. In Proceedings of the 16th IEEE Computer Security Foundations Workshop (CSFW), IEEE Computer Society, 2003, pp. 141-154, Broadfoot and Lowe sugges...
| Autori principali: | , |
|---|---|
| Natura: | Journal article |
| Lingua: | English |
| Pubblicazione: |
2011
|