C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Relating Strands and Multiset Rewriting for Security Protocol Analysis.
Iliano Cervesato
Nancy A. Durgin
John C. Mitchell
Patrick Lincoln
Andre Scedrov
Published in:
CSFW (2000)
Keyphrases
</>
databases
security protocols
security services