Socio-technical formal analysis of TLS certificate validation in modern browsers

Bella, Giampaolo; GIUSTOLISI, Rosario; LENZINI, Gabriele

doi:10.1109/PST.2013.6596067

Download

Paper published in a book (Scientific congresses, symposiums and conference proceedings)

Socio-technical formal analysis of TLS certificate validation in modern browsers

Bella, Giampaolo; GIUSTOLISI, Rosario; LENZINI, Gabriele

2013 • In PST

Peer reviewed

Permalink
https://hdl.handle.net/10993/6210

DOI
10.1109/PST.2013.6596067

Files (1)Send to Details Statistics Bibliography Similar publications

Files

Full Text

main.pdf

Author preprint (861.99 kB)

Download

All documents in ORBilu are protected by a user license.

Send to

RIS BibTex APA Chicago Permalink X Linkedin

Details

Disciplines :

Computer science

Author, co-author :

Bella, Giampaolo; Università degli Studi di Catania - UniCT > Dipartimento di Matematica e Informatica

GIUSTOLISI, Rosario ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)

LENZINI, Gabriele ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)

Language :

English

Title :

Socio-technical formal analysis of TLS certificate validation in modern browsers

Publication date :

2013

Event name :

Eleventh Annual International Conference on Privacy, Security and Trust, PST 2013

Event date :

from 10-07-2013 to 12-07-2013

Main work title :

PST

Pages :

309-316

Peer reviewed :

Peer reviewed

Available on ORBilu :

since 17 September 2013

Statistics

Number of views

3814 (21 by Unilu)

Number of downloads

314 (14 by Unilu)

More statistics

Scopus citations^®

Scopus citations^®
without self-citations

OpenAlex citations

WoS citations^™