Title :
Formal analysis of e-commerce protocols
Author :
Papa, M. ; Bremer, O. ; Hale, J. ; Shenoi, S.
Author_Institution :
Dept. of Comput. Sci., Tulsa Univ., OK, USA
Abstract :
The 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
Keywords :
electronic commerce; formal verification; message passing; process algebra; protocols; theorem proving; NetBill Protocol; e-commerce protocols; expressive message passing semantics; formal analysis; inference rules; information analysis; message passing; modeling principals; process calculi; proofs; protocol properties; Business; Calculus; Computer science; Cryptographic protocols; Cryptography; Electronic commerce; Information analysis; Information security; Logic; Message passing;
Conference_Titel :
Autonomous Decentralized Systems, 2001. Proceedings. 5th International Symposium on
Conference_Location :
Dallas, TX
Print_ISBN :
0-7695-1065-5
DOI :
10.1109/ISADS.2001.917391
