Reference from ESORICS proceedings

5th European Symposium on Research in Computer Security (ESORICS 98)

A Sound Logic for Analysing Electronic Commerce Protocols

Volker Kessler, Heike Neumann

Keywords : electronic commerce, formal analysis, logic of authentication, micropayment, Payword, semantics, SET

Abstract : We present an authentication logic which is capable to analyse one of the most important features of electronic commerce protocols, i.e., the accountability of transactions. By referring to a formal semantics we prove that the calculus is correct. We apply our logic to the payment systems SET and Payword. The formal analysis explains why micropayment systems based on chains of hashvalues do not lead to the same level of assurance as usual payment systems.

(Pages 345-360)

Proceedings table of contents