Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Allaa Kamil"'
Publikováno v:
Journal of Computer Security. 23:259-307
Many security protocols are built as the composition of an application-layer protocol and a secure transport protocol, such as TLS. There are several approaches to proving the correctness of such protocols. One popular approach is verification by abs
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::05cd331db9a9b2922e13b7824b9ea2d4
https://doi.org/10.3233/jcs-150526
https://doi.org/10.3233/jcs-150526
Autor:
Allaa Kamil, Gavin Lowe
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783642197505
Formal Aspects in Security and Trust
Formal Aspects in Security and Trust
Many security architectures make use of layered security protocols, where a special-purpose application protocol is layered on top of a general-purpose secure transport protocol. When analysing such an architecture, it makes sense to abstract away fr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::217c33a6e764cee7c670fc7551f42d65
https://doi.org/10.1007/978-3-642-19751-2_4
https://doi.org/10.1007/978-3-642-19751-2_4
Autor:
Allaa Kamil, Gavin Lowe
Publikováno v:
Formal Aspects in Security and Trust ISBN: 9783642124587
Formal Aspects in Security and Trust
Formal Aspects in Security and Trust
We adapt the Strand Spaces model to reason abstractly about layered security protocols, where an Application Layer protocol is layered on top of a secure transport protocol. The model abstracts away from the implementation of the secure transport pro
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bfbf826c6813f3f35dcf0a2c0c140821
https://doi.org/10.1007/978-3-642-12459-4_17
https://doi.org/10.1007/978-3-642-12459-4_17