Computational Semantics for First-Order Logical Analysis of Cryptographic Protocols

DOI10.1007/978-3-642-02002-5_3MaRDI QIDQ3631369zbMATHOpenAlexFDO

Authors Gergei Bana, Koji Hasebe, Mitsuhiro Okada

Publication date 9 June 2009

Published in Formal to Practical Security (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-02002-5_3

zbMATH Keywords

first-order logicformal methodscryptographic protocolscomputational semantics

Mathematics Subject Classification ID

Cryptography (94A60) Logic in computer science (03B70)

Recommendations

• Automata, Languages and Programming
• Theory of Cryptography
• Computationally Sound Symbolic Analysis of Probabilistic Protocols with Ideal Setups
• A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols
• A probabilistic polynomial-time calculus for analysis of cryptographic protocols (preliminary report)

Cites work

• scientific article; zbMATH DE number 5009203 (Why is no real title available?)
• Automata, Languages and Programming
• Automata, Languages and Programming
• Completeness and counter-example generations of a basic protocol logic (extended abstract)
• Foundations of Software Science and Computation Structures
• On the security of public key protocols
• Probabilistic encryption
• Protocol composition logic (PCL)
• Reconciling two views of cryptography (The computational soundness of formal encryption)
• Theory of Cryptography
• Using encryption for authentication in large networks of computers

Cited in

(7)

• Automata, Languages and Programming
• Logics for reasoning about cryptographic constructions
• LACPV'2001. Logical aspects of cryptographic protocol verification. Proceedings of the 1st workshop (a satellite workshop of CAV'01), Paris, France, July 23, 2001.
• Models for an adversary-centric protocol logic
• Modal logics for cryptographic processes
• Theory of Cryptography
• scientific article; zbMATH DE number 2043527 (Why is no real title available?)

This page was built for publication: Computational Semantics for First-Order Logical Analysis of Cryptographic Protocols

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