The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice
The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice
Cet article présente un formalisme pour l'analyse des protocoles de commerce électronique. L'approche intègre la logique et les calculs de processus, fournissant un message expressif transmettant une sémantique et des constructions sophistiquées pour les principes de modélisation. Un ensemble commun de règles d'inférence pour la communication, la réduction et l'analyse de l'information prend en charge les preuves sur la transmission des messages, la connaissance et le comportement des principes et les propriétés du protocole. La puissance du formalisme est illustrée par une analyse du protocole NetBill.
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.
Copier
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
Copier
@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},}
Copier
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 -