Information based reasoning about security protocols

DOI10.1016/S1571-0661(04)00246-4MaRDI QIDQ2841219zbMATH OpenWikidataFDO

Authors R. Ramanujam, S. P. Suresh

Publication date 24 July 2013

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

Full work available at URL https://doi.org/10.1016/S1571-0661(04)00246-4

Mathematics Subject Classification ID

Cryptography (94A60)

Recommendations

• Toward reasoning about security protocols: a semantic approach
• Theory and Applications of Satisfiability Testing
• Models and Proofs of Protocol Security: A Progress Report
• LDYIS: a framework for model checking security protocols
• Abstracting cryptographic protocols with tree automata.

Cites work

• scientific article; zbMATH DE number 1614701 (Why is no real title available?)
• scientific article; zbMATH DE number 1696763 (Why is no real title available?)
• scientific article; zbMATH DE number 1962758 (Why is no real title available?)
• scientific article; zbMATH DE number 1487854 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• scientific article; zbMATH DE number 1390339 (Why is no real title available?)
• scientific article; zbMATH DE number 1394314 (Why is no real title available?)
• A calculus for cryptographic protocols: The spi calculus
• A logic of authentication
• View-based explicit knowledge

Cited in

(10)

• Reasoning with protocols under imperfect information
• Towards an awareness-based semantics for security protocol analysis
• A method for symbolic analysis of security protocols
• A (restricted) quantifier elimination for security protocols
• scientific article; zbMATH DE number 2090905 (Why is no real title available?)
• Invariant-based reasoning about parameterized security protocols
• Bounding messages for free in security protocols -- extension to various security properties
• Theory and Applications of Satisfiability Testing
• Toward reasoning about security protocols: a semantic approach
• Combining Algorithms for Deciding Knowledge in Security Protocols

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

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