Fifth International Symposium on Autonomous Decentralized Systems
Formal Analysis of E-Commerce Protocols
Dallas, Texas
March 26-March 28
ISBN: 0-7695-1065-5
This paper presents a formalism for the analysis of e-commerce 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 of principals, and protocol properties. The power of the formalism is illustrated with an analysis of the NetBill Protocol.
Citation:
M. Papa, O. Bremer, J. Hale, S. Shenoi, "Formal Analysis of E-Commerce Protocols," isads, pp.19, Fifth International Symposium on Autonomous Decentralized Systems, 2001