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 verification and validation for e-commerce: theory and best practices
Probert, RL
Chen, YP
Ghazizadeh, B
Sims, DP
Cappa, M
[J]. INFORMATION AND SOFTWARE TECHNOLOGY, 2003, 45 (11) : 763 - 777
[32] A Secure Formal Analysis of E-commerce Protocol Based on the Semi-regular Entities
Yang Jie
Wu Tao
Chen Guan-qiao
[J]. PROCEEDINGS OF THE 14TH YOUTH CONFERENCE ON COMMUNICATION, 2009, : 488 - 491
[33] E-COMMERCE E-commerce firm Elemica is acquired
Mullin, Rick
[J]. CHEMICAL & ENGINEERING NEWS, 2019, 97 (32) : 14 - 14
[34] E-commerce reimagined: Retail and e-commerce in China
He, Yihang
Chu, Haijun
Zhang, Xue
[J]. SOCIAL SCIENCE JOURNAL, 2023,
[35] TRADITONAL COMMERCE VERSUS E-COMMERCE: A COMPARATIVE ANALYSIS
Muresan, Carmen Maria
[J]. ACTA TECHNICA NAPOCENSIS SERIES-APPLIED MATHEMATICS MECHANICS AND ENGINEERING, 2018, 61 (03): : 147 - 152
[36] Security analysis on mobile E-commerce
Wang, SM
Tao, R
Wang, Y
[J]. PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED COOPERATIVE WORK IN DESIGN, VOL 1, 2004, : 642 - 647
[37] THE ANALYSIS AND POTENTIAL DEVELOPMENT OF E-COMMERCE
Svatosova, Veronika
[J]. HRADECKE EKONOMICKE DNY 2015, ROC 5(3), 2015, 5 : 162 - 173
[38] Cost Analysis for E-commerce Enterprises
Liu, Yunping
[J]. MATERIALS SCIENCE AND INFORMATION TECHNOLOGY, PTS 1-8, 2012, 433-440 : 1701 - 1704
[39] Learning and analysis in an e-commerce project
Carlsson, S
[J]. INFORMATION SYSTEMS DEVELOPMENT: ADVANCES IN METHODOLOGIES, COMPONENTS AND MANAGEMENT, 2002, : 401 - 412
[40] Analysis on the Integration of ERP and E-Commerce
Wang, Yongqing
Shi, Yuliana
[J]. GREEN ENERGY AND SUSTAINABLE DEVELOPMENT I, 2017, 1864

← 1 2 3 4 5 →