Formal analysis of e-commerce protocols

被引：0

作者：

Papa, M ^{[1
]}

Bremer, O ^{[1
]}

Hale, J ^{[1
]}

Shenoi, S ^{[1
]}

机构：

[1] Univ Tulsa, Dept Comp Sci, Ctr Informat Secur, Tulsa, OK 74104 USA

来源：

IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS | 2001年 / E84D卷 / 10期

关键词：

formal methods; cryptography; e-commerce;

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

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.

引用

页码：1313 / 1323

页数：11

共 50 条

[31] Formal negotiation model for automated agents in e-commerce systems
Kijthaweesinpoon, T.
Zhou, P. L.
CHALLENGES IN INFORMATION TECHNOLOGY MANAGEMENT, 2008, : 63 - 69
[32] The Need for Formal Compatibility Analysis in Web Service Choreography via an E-Commerce Application
Benabdelhafid, Maya Souilah
Boufaida, Mahmoud
INTERNATIONAL JOURNAL OF E-BUSINESS RESEARCH, 2015, 11 (04) : 1 - 16
[33] Formal verification and validation for e-commerce: theory and best practices
Probert, RL
Chen, YP
Ghazizadeh, B
Sims, DP
Cappa, M
INFORMATION AND SOFTWARE TECHNOLOGY, 2003, 45 (11) : 763 - 777
[34] A Secure Formal Analysis of E-commerce Protocol Based on the Semi-regular Entities
Yang Jie
Wu Tao
Chen Guan-qiao
PROCEEDINGS OF THE 14TH YOUTH CONFERENCE ON COMMUNICATION, 2009, : 488 - 491
[35] E-COMMERCE E-commerce firm Elemica is acquired
Mullin, Rick
CHEMICAL & ENGINEERING NEWS, 2019, 97 (32) : 14 - 14
[36] E-commerce reimagined: Retail and e-commerce in China
He, Yihang
Chu, Haijun
Zhang, Xue
SOCIAL SCIENCE JOURNAL, 2023,
[37] TRADITONAL COMMERCE VERSUS E-COMMERCE: A COMPARATIVE ANALYSIS
Muresan, Carmen Maria
ACTA TECHNICA NAPOCENSIS SERIES-APPLIED MATHEMATICS MECHANICS AND ENGINEERING, 2018, 61 (03): : 147 - 152
[38] Security analysis on mobile E-commerce
Wang, SM
Tao, R
Wang, Y
PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED COOPERATIVE WORK IN DESIGN, VOL 1, 2004, : 642 - 647
[39] E-commerce
Gorenflos, R
Mettele, J
Nissen, V
Rüschen, S
Gorenflos, R
BETRIEBSWIRTSCHAFTLICHE FORSCHUNG UND PRAXIS, 2001, 53 (02): : 152 - 161
[40] E-commerce
Engineer (London), 2000, 289 (7500):

← 1 2 3 4 5 →