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...
| Glavni autori: | , |
|---|---|
| Format: | Journal article |
| Jezik: | English |
| Izdano: |
2011
|