Socio-technical formal analysis of TLS certificate validation in modern browsers
Socio-technical formal analysis of TLS certificate validation in modern browsers
G. Bella,Rosario Giustolisi,G. Lenzini
2013 · DOI: 10.1109/PST.2013.6596067
12 Citations