Limitations of Wrapping Protocols and TLS Channel Bindings: Formal-Methods Analysis of the Session Binding Proxy Protocol
| Title: | Limitations of Wrapping Protocols and TLS Channel Bindings: Formal-Methods Analysis of the Session Binding Proxy Protocol |
|---|---|
| Authors: | Golaszewski, EnisAff9; Zieglar, EdwardAff10; Sherman, Alan T.Aff9; Abou Elsaad, KirellosAff9; Fuchs, Jonathan D.Aff9 |
| Contributors: | Goos, Gerhard, Series EditorAff1; Hartmanis, Juris, Founding EditorAff2; Bertino, Elisa, Editorial Board MemberAff3; Gao, Wen, Editorial Board MemberAff4; Steffen, Bernhard, Editorial Board MemberAff5; Yung, Moti, Editorial Board MemberAff6; Lu, Xianhui, editorAff7; Mitchell, Chris J., editorAff8 |
| Source: | Security Standardisation Research : 9th International Conference, SSR 2024, Kunming, China, December 16, 2024, Proceedings. 15559:81-119 |
| Database: | Springer Nature eBooks |