A new logic for electronic commerce protocols
type: Item
instance of: scholarly article
title: A new logic for electronic commerce protocols
zbMATH Open document ID: 1008.68047
DOI: 10.1016/S0304-3975(02)00364-X
author: Kamel Adi
author: M. Debbabi
author: Mohamed Mejri
published in: Theoretical Computer Science
publication date: 2003-01-22T00:00:00Z
Mathematics Subject Classification ID: 68P25
zbMATH DE Number: 1857228
zbMATH Keywords: eryptographic protocols
zbMATH Keywords: e-commerce protocols
zbMATH Keywords: logic
zbMATH Keywords: denotational semantics
zbMATH Keywords: tableau-based proof system
zbMATH Keywords: authentication
zbMATH Keywords: secrecy
zbMATH Keywords: money atomicity
zbMATH Keywords: good atomicity
describes a project that uses: NRL
describes a project that uses: Murphi
MaRDI profile type: Publication
cites work: A calculus for cryptographic protocols: The spi calculus
cites work: A semantics for a logic of authentication (extended abstract)
cites work: A formal framework for authentication
cites work: A logic of authentication
cites work: Tableau-based model checking in the propositional mu-calculus
cites work: On the security of public key protocols
cites work: Applying a formal analysis technique to the CCITT X.509 strong two-way authentication protocol
cites work: Q3999188
cites work: Proof theory and automated deduction
cites work: Q3777424
cites work: Three systems for cryptographic protocol analysis
cites work: An attack on the Needham-Schroeder public-key authentication protocol
cites work: Q4341785
cites work: The NRL Protocol Analyzer: An Overview
cites work: A calculus of mobile processes. II
cites work: A formal language for cryptographic protocol requirements
cites work: A lattice-theoretical fixpoint theorem and its applications
full work available at URL: s0304-3975(02)00364-x
OpenAlex ID: W1607134907
Recommended article: Q2767198
Recommended article: Q5714530
Recommended article: Q4422107
Recommended article: Q4536658
Recommended article: Q4412493
Recommended article: A logic for extensional protocols
Recommended article: Q4448386
description: scientific article; zbMATH DE number 1857228