Modelling and Analysing the TLS protocol using Casper and FDR

TitleModelling and Analysing the TLS protocol using Casper and FDR
Publication TypeConference Paper
Year of Publication2012
Date Published10/2012
Conference NameProceedings of IEEE 2012 IX International Symposium on Telecommunications, (BIHTEL)
Publication Languageeng
AuthorsKaraduzovic-Hadziabdic, K
PublisherIEEE
Place PublishedSarajevo, Bosnia and Hercegovina