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

• A calculus for cryptographic protocols: The spi calculus
• A logic of authentication
• 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?)
• View-based explicit knowledge

Cited in

(10)

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