Sciweavers

CSFW
2000
IEEE

Relating Strands and Multiset Rewriting for Security Protocol Analysis

14 years 4 months ago
Relating Strands and Multiset Rewriting for Security Protocol Analysis
Iliano Cervesato, Nancy A. Durgin, John C. Mitchel
Added 30 Jul 2010
Updated 30 Jul 2010
Type Conference
Year 2000
Where CSFW
Authors Iliano Cervesato, Nancy A. Durgin, John C. Mitchell, Patrick Lincoln, Andre Scedrov
Comments (0)