Information based reasoning about security protocols

DOI10.1016/S1571-0661(04)00246-4zbMath1268.94030WikidataQ115012791 ScholiaQ115012791MaRDI QIDQ2841219

No author found.

Publication date: 24 July 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Cryptography (94A60)

Related Items (3)

A (restricted) quantifier elimination for security protocols ⋮ Bounding messages for free in security protocols -- extension to various security properties ⋮ A method for symbolic analysis of security protocols

Cites Work

• A calculus for cryptographic protocols: The spi calculus
• View-based explicit knowledge
• A logic of authentication
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Information based reasoning about security protocols