Open AccessA Formal Treatment of Accountable Proxying over TLS
Author(s) -
Bhargavan, Karthikeyan,
Boureanu, Ioana,
Delignat-Lavaud, Antoine,
Fouque, Pierre-Alain,
Onete, Cristina
Publication year - 2018
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - computer science , computer security