A new logic for electronic commerce protocols

DOI10.1016/S0304-3975(02)00364-XzbMath1008.68047OpenAlexW1607134907MaRDI QIDQ1853749

Mourad Debbabi, Kamel Adi, Mohamed Me Jri

Publication date: 22 January 2003

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

Full work available at URL: https://doi.org/10.1016/s0304-3975(02)00364-x

zbMATH Keywords

denotational semanticslogicauthenticationsecrecytableau-based proof systeme-commerce protocolseryptographic protocolsgood atomicitymoney atomicity

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25)

Related Items (5)

Injective synchronisation: An extension of the authentication hierarchy ⋮ A (restricted) quantifier elimination for security protocols ⋮ A game-theoretic framework for specification and verification of cryptographic protocols ⋮ An analytic tableau calculus for a temporalised belief logic ⋮ Cryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptography

Uses Software

• NRL
• Murphi

Cites Work

• An attack on the Needham-Schroeder public-key authentication protocol
• Applying a formal analysis technique to the CCITT X.509 strong two-way authentication protocol
• Tableau-based model checking in the propositional mu-calculus
• A calculus of mobile processes. II
• A calculus for cryptographic protocols: The spi calculus
• Three systems for cryptographic protocol analysis
• Proof theory and automated deduction
• A formal language for cryptographic protocol requirements
• A lattice-theoretical fixpoint theorem and its applications
• The NRL Protocol Analyzer: An Overview
• On the security of public key protocols
• A logic of authentication
• A semantics for a logic of authentication (extended abstract)
• A formal framework for authentication
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A new logic for electronic commerce protocols