Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

12

CSFW
2000
IEEE

favoriteEmaildiscussreport

100views Security Privacy» more CSFW 2000»

Relating Strands and Multiset Rewriting for Security Protocol Analysis

13 years 8 months ago

Relating Strands and Multiset Rewriting for Security Protocol Analysis

Download www.csl.sri.com

Iliano Cervesato, Nancy A. Durgin, John C. Mitchel

Real-time Traffic

CSFW 2000 | Security Privacy |

claim paper

Related Content

» Typed Multiset Rewriting Specifications of Security Protocols

» A MetaNotation for Protocol Analysis

» A Formal Analysis of Some Properties of Kerberos 5 Using MSR

» Mixed Strand Spaces

» SATbased modelchecking for security protocols analysis

» Events in security protocols

» Secrecy for bounded security protocols with freshness check is NEXPTIMEcomplete

» Towards an Automatic Analysis of Web Service Security

» Athena A New Efficient Automatic Checker for Security Protocol Analysis

Post Info
More Details (n/a)

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)