Fabio Martinelli Marinella Petrocchi Anna Vaccarelli Formal analysis of some secure procedures for certificate delivery. 33-59 2006 16 Softw. Test., Verif. Reliab. 1 http://dx.doi.org/10.1002/stvr.329 db/journals/stvr/stvr16.html#MartinelliPV06