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)