Formal Analysis of E-Commerce Protocols

Abstract

This paper presents a formalism for the analysis of ecommerce protocols. The approach integrates logics and process calculi, providing an expressive message passing semantics and sophisticated constructs for modeling principals. A common set of inference rules for communication, reduction and information analysis supports proofs about message passing, the knowledge and behavior ofprincipals, and protocol properties. The power of the formalism is illustrated with an analysis of the NetBill Protocol.

DOI: 10.1109/ISADS.2001.917391

7 Figures and Tables

Cite this paper

@inproceedings{Papa2001FormalAO, title={Formal Analysis of E-Commerce Protocols}, author={Mauricio Papa and Oliver Bremer and John Hale and Sujeet Shenoi}, booktitle={ISADS}, year={2001} }