Towards a Quantitative Analysis of Security Protocols (joint work with Paulo Mateus, Tiago Reis and Luca Viganò)
Extended Abstract presented at the 4th Workshop on Quantitative Aspects of Programming Languages (QAPL). Affiliated Workshop of ETAPS'06, Vienna, Austria, April 1-2 2006.

Publication Info. Extended Abstract.

Date: 04 February 2006.

Get a preprint: PDF | PS | BibTeX Citation.