Formal analysis of some secure procedures for certificate...

Software Testing, Verification and Reliability 2006 Vol. 16; Iss. 1

Formal analysis of some secure procedures for certificate delivery

Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
16
Year:
2006
Language:
english
Pages:
27
DOI:
10.1002/stvr.329
File:
PDF, 257 KB
english, 2006
Conversion to is in progress
Conversion to is failed