A comparison between strand spaces and multiset rewriting...

Journal of Computer Security 2005 / 03 Vol. 13; Iss. 2

A comparison between strand spaces and multiset rewriting for security protocol analysis

Cervesato, Iliano, Durgin, Nancy A., Lincoln, Patrick D., Mitchell, John C., Scedrov, Andre
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:
13
Journal:
Journal of Computer Security
DOI:
10.3233/jcs-2005-13203
Date:
March, 2005
File:
PDF, 540 KB
2005
Conversion to is in progress
Conversion to is failed