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
2013In PST
Peer reviewed
 

Files


Full Text
main.pdf
Author preprint (861.99 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



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
3807 (21 by Unilu)
Number of downloads
285 (14 by Unilu)

Scopus citations®
 
9
Scopus citations®
without self-citations
2
WoS citations
 
4

Bibliography


Similar publications



Contact ORBilu