Formal Analysis of E-Commerce Protocols
Summary :
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.
- Publication
- IEICE TRANSACTIONS on Information Vol.E84-D No.10 pp.1313-1323
- Publication Date
- 2001/10/01
- Publicized
- Online ISSN
- DOI
- Type of Manuscript
- Special Section PAPER (IEICE/IEEE Joint Special Issue on Autonomous Decentralized Systems and Systems' Assurance)
- Category
- Electronic Commerce
Authors
Keyword
Latest Issue
Copyrights notice of machine-translated contents
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
Cite this
Copy
Mauricio PAPA, Oliver BREMER, John HALE, Sujeet SHENOI, "Formal Analysis of E-Commerce Protocols" in IEICE TRANSACTIONS on Information,
vol. E84-D, no. 10, pp. 1313-1323, October 2001, doi: .
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.
URL: https://global.ieice.org/en_transactions/information/10.1587/e84-d_10_1313/_p
Copy
@ARTICLE{e84-d_10_1313,
author={Mauricio PAPA, Oliver BREMER, John HALE, Sujeet SHENOI, },
journal={IEICE TRANSACTIONS on Information},
title={Formal Analysis of E-Commerce Protocols},
year={2001},
volume={E84-D},
number={10},
pages={1313-1323},
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.},
keywords={},
doi={},
ISSN={},
month={October},}
Copy
TY - JOUR
TI - Formal Analysis of E-Commerce Protocols
T2 - IEICE TRANSACTIONS on Information
SP - 1313
EP - 1323
AU - Mauricio PAPA
AU - Oliver BREMER
AU - John HALE
AU - Sujeet SHENOI
PY - 2001
DO -
JO - IEICE TRANSACTIONS on Information
SN -
VL - E84-D
IS - 10
JA - IEICE TRANSACTIONS on Information
Y1 - October 2001
AB - 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.
ER -
English
