Formal Analysis of E-Commerce Protocols

Authors:
M. Papa;O. Bremer;J. Hale;S. Shenoi
Affiliations:
-;-;-;-
Venue:
ISADS '01 Proceedings of the Fifth International Symposium on Autonomous Decentralized Systems
Year:
2001

Citing 0
Cited 3

A Formal and Executable Specification of the Internet Open Trading Protocol

EC-WEB '02 Proceedings of the Third International Conference on E-Commerce and Web Technologies
A Formal Service Specification for the Internet Open Trading Protocol

ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Secure transaction protocol analysis: models and applications

Secure transaction protocol analysis: models and applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.