Login / Signup
A Comparison between Strand Spaces and Multiset Rewriting for Security Protocol Analysis.
Iliano Cervesato
Nancy A. Durgin
Patrick Lincoln
John C. Mitchell
Andre Scedrov
Published in:
ISSS (2002)
Keyphrases
</>
software engineering
security protocols
search engine
database systems
data management