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

fYear

2001

fDate

2001

Firstpage

19

Lastpage

28

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Autonomous Decentralized Systems, 2001. Proceedings. 5th International Symposium on

Conference_Location

Dallas, TX

Print_ISBN

0-7695-1065-5

Type

conf

DOI

10.1109/ISADS.2001.917391

Filename

917391