| Title | Modelling and Analysing the TLS protocol using Casper and FDR |
| Publication Type | Conference Paper |
| Year of Publication | 2012 |
| Date Published | 10/2012 |
| Conference Name | Proceedings of IEEE 2012 IX International Symposium on Telecommunications, (BIHTEL) |
| Publication Language | eng |
| Authors | Karađuzović-Hadžiabdić, K |
| Publisher | IEEE |
| Place Published | Sarajevo, Bosnia and Hercegovina |
Modelling and Analysing the TLS protocol using Casper and FDR
