scientific article; zbMATH DE number 1956589

zbMATH Open1031.94512MaRDI QIDQ4417934FDOQ4417934

M. Perin, Liana Bozga, Yassine Lakhnech

Publication date: 30 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2619/26190299.htm

Title of this publication is not available (Why is that?)

Recommendations

• Abstract interpretation for proving secrecy properties in security protocols
• Abstracting cryptographic protocols with tree automata.
• scientific article; zbMATH DE number 1487854
• scientific article; zbMATH DE number 1330434
• scientific article; zbMATH DE number 1948406

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Cryptography (94A60)

Cited In (7)

• Title not available (Why is that?)
• Abstracting cryptographic protocols with tree automata.
• Title not available (Why is that?)
• A Dolev-Yao-Based Definition of Abuse-Free Protocols
• Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives
• Handling Left-Quadratic Rules When Completing Tree Automata
• Title not available (Why is that?)

Uses Software

• Casper

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4417934)