|
|
Keyword : e-commerce
|
|
|
|
|
|
|
Formal Analysis of E-Commerce Protocols Mauricio PAPA
Oliver BREMER
John HALE
Sujeet SHENOI
|
Publication: IEICE TRANSACTIONS on Information and Systems
Publication Date: 2001/10/01
Vol. E84-D
No. 10
pp. 1313-1323
Type of Manuscript: Special Section PAPER (IEICE/IEEE Joint Special Issue on Autonomous Decentralized Systems and Systems' Assurance)
Category: Electronic Commerce Keyword: formal method,
cryptography,
e-commerce,
|
| |
Summary |
Full Text:PDF
(751.6KB)
|
|
|
|
|
|
|