✦ LIBER ✦

A new logic for electronic commerce protocols

✍ Scribed by Kamel Adi; Mourad Debbabi; Mohamed Mejri

Book ID: 104325470
Publisher: Elsevier Science
Year: 2003
Tongue: English
Weight: 415 KB
Volume: 291
Category: Article
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(02)00364-x

No coin nor oath required. For personal study only.

✦ Synopsis

The primary objective of this paper is to present the deÿnition of a new dynamic, linear and modal logic for security protocols. The logic is compact, expressive and formal. It allows the speciÿcation of classical security properties (authentication, secrecy and integrity) and also electronic commerce properties (non-repudiation, anonymity, good atomicity, money atomicity, certiÿed delivery, etc.). The logic constructs are interpreted over a trace-based model. Traces re ect valid protocol executions in the presence of a malicious smart intruder. The logic is endowed with a tableau-based proof system that leads to a modular denotational semantics and local model checking.

📜 SIMILAR VOLUMES

A flaw in the electronic commerce protoc

A flaw in the electronic commerce protocol SET

✍ S. Brlek; S. Hamadou; J. Mullins 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 65 KB

Characteristics of virtual experience in

Characteristics of virtual experience in electronic commerce: A protocol analysis

✍ Hairong Li; Terry Daugherty; Frank Biocca 📂 Article 📅 2001 🏛 John Wiley and Sons 🌐 English ⚖ 239 KB

This protocol analysis examines the content of virtual experience in e-commerce, as concurrently verbalized by a sample of 30 participants while interacting with four 3-D products. Thirteen different types of psychological activities were observed and classified into five characteristics of virtual

Metabroker: a generic broker for electro

Metabroker: a generic broker for electronic commerce

✍ Steve Caughey; David Ingham; Paul Watson 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 163 KB

From a commercial perspective, the Web has promised much more than it has delivered and the dream of World Wide Internet business enterprises has yet to become a reality. Electronic commerce currently resembles a vast, sprawling bazaar in which visitors must wander through countless market stalls. F

ELECTRONIC MARKETING: NEW RULES FOR ELEC

ELECTRONIC MARKETING: NEW RULES FOR ELECTRONIC MARKETING — AN OBSTACLE TO M-COMMERCE?

✍ John Worthy; Nicholas Graham 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 60 KB

A new protocol for multi-item electronic

A new protocol for multi-item electronic auctions

✍ Huang Genxun; Zhou Ran; Wei Fushan; Yu Gang 📂 Article 📅 2006 🏛 Wuhan University 🌐 English ⚖ 289 KB

Jikzi — a new framework for security pol

Jikzi — a new framework for security policy, trusted publishing and electronic commerce

✍ R. Anderson; J.-H. Lee 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 200 KB

In this paper, we will describe a thread of research, which we have followed off and on at Cambridge for about three years. Our topic is the security of electronic documents, in the broad sense: how can we be sure of the authenticity of things that are published electronically? This started off as