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 条

[1] Formal analysis of e-commerce protocols
[J]. Papa, M, 2001, Institute of Electronics, Information and Communication, Engineers, IEICE (E84-D)
[2] Formal analysis of e-commerce protocols
Papa, M
Bremer, O
Hale, J
Shenoi, S
[J]. 5TH INTERNATIONAL SYMPOSIUM ON AUTONOMOUS DECENTRALIZED SYSTEMS, PROCEEDINGS, 2001, : 19 - 28
[3] Formal Modeling and Analysis of Fairness Characterization of E-Commerce Protocols
Zhang, Chengwei
Li, Xiaohong
Hu, Jing
Feng, Zhiyong
Song, Jiaojiao
[J]. JOURNAL OF APPLIED MATHEMATICS, 2014,
[4] A formal analysis method based on colored Petri Net for E-commerce protocols
[J]. Si, Y. (siyali2008@126.com), 1600, (08):
[5] Protocols for e-commerce
Aslam, T
[J]. DR DOBBS JOURNAL, 1998, 23 (12): : 52 - +
[6] Exploiting automatic analysis of e-commerce protocols
Wei, J
Cheung, SC
Wang, X
[J]. 25TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE, 2001, : 55 - 62
[7] E-commerce payment protocols: Requirements and analysis
Zaba, S
[J]. 9TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP, PROCEEDINGS, 1996, : 78 - 80
[8] A formal approach for obligation analysis of E-commerce
Yuyue, Du
Changjun, Jiang
[J]. CHINESE JOURNAL OF ELECTRONICS, 2008, 17 (02) : 200 - 204
[9] ECDSA protocols for E-commerce
Vijayarangan, N
[J]. IETE TECHNICAL REVIEW, 2002, 19 (04): : 199 - 201
[10] ANALYZING E-COMMERCE PROTOCOLS
Timofte, Carmen
[J]. PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ACCOUNTING AND MANAGEMENT INFORMATION SYSTEMS (AMIS 2011), 6TH EDITION, 2011, : 488 - 495

← 1 2 3 4 5 →