La fonctionnalité de recherche est en construction.
La fonctionnalité de recherche est en construction.

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

Formal Analysis of E-Commerce Protocols Analyse formelle des protocoles de commerce électronique

Mauricio PAPA, Oliver BREMER, John HALE, Sujeet SHENOI

  • Vues en texte intégral

    0

  • Citer

Résumé:

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.

Publication
IEICE TRANSACTIONS on Information Vol.E84-D No.10 pp.1313-1323
Date de publication
2001/10/01
Publicisé
ISSN en ligne
DOI
Type de manuscrit
Special Section PAPER (IEICE/IEEE Joint Special Issue on Autonomous Decentralized Systems and Systems' Assurance)
Catégories
Commerce électronique

Auteurs

Mots-clés

Table des matières