Formal Analysis of E-Commerce Protocols

Mauricio PAPA  Oliver BREMER  John HALE  Sujeet SHENOI  

IEICE TRANSACTIONS on Information and Systems   Vol.E84-D   No.10   pp.1313-1323
Publication Date: 2001/10/01
Online ISSN: 
Print ISSN: 0916-8532
Type of Manuscript: Special Section PAPER (IEICE/IEEE Joint Special Issue on Autonomous Decentralized Systems and Systems' Assurance)
Category: Electronic Commerce
formal method,  cryptography,  e-commerce,  

Full Text: PDF(747.7KB)>>
Buy this Article

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.