C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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