Analysing layered security protocols

<p>Many security protocols are built as the composition of an application-layer protocol and a secure transport protocol, such as TLS. There are many approaches to proving the correctness of such protocols. One popular approach is verification by abstraction, in which the correctness of the ap...

Täydet tiedot

Bibliografiset tiedot
Päätekijä: Gibson-Robinson, T
Muut tekijät: Lowe, G
Aineistotyyppi: Opinnäyte
Kieli:English
Julkaistu: 2013
Aiheet:

Samankaltaisia teoksia