A Socio-technical Understanding of TLS Certificate Validation
A Socio-technical Understanding of TLS Certificate Validation
G. Bella,Rosario Giustolisi,G. Lenzini
2013 · DOI: 10.1007/978-3-642-38323-6_23
IFIP International Conference on Trust Management · 4 Citations
TLDR
An innovative methodology involving modelling in UML the multi-layered interactions among servers, browsers, and users and then translating them into a formal language amenable to model checking socio-technical security properties is outlined and demonstrated.