Secure Multi-Party E-Commerce Protocols
Bîrjoveanu, Cătălin V.
Secure Multi-Party E-Commerce Protocols [electronic resource] / by Cătălin V. Bîrjoveanu, Mirela Bîrjoveanu. - 1st ed. 2022. - X, 109 p. 15 illus., 5 illus. in color. online resource. - SpringerBriefs in Computer Science, 2191-5776 . - SpringerBriefs in Computer Science, .
1. Introduction -- 2. Two-Party E-Commerce Protocols -- 3. Multi-Party E-Commerce Protocols for Complex Transactions -- 4. E-Commerce Protocols for Multi-Chained Complex Transactions -- 5. Formal Verification of Multi-Party Fair Exchange E-Commerce Protocols -- 6. Conclusions.
This book presents the state of the art for multi-party fair exchange protocols and provides insight details regarding multi-party applications for buying physical products. The authors tackle the fairness problem in e-commerce protocols for buying physical products in scenarios involving complex and chained transactions and provide use cases of these protocols for B2C and B2B scenarios. The book also includes the formal verification of the fair multi-party exchange e-commerce protocols using the Constraint-Logic-based Attack Searcher from AVISPA, a tool for the Automated Validation of Internet Security Protocols and Applications. This book is mainly targeted to researchers in e-commerce security, yet it shall be interesting as well for professional developers in e-commerce. They all are provided with an understanding of and a starting point for designing secure multi-party e-commerce protocols.
9783030993511
10.1007/978-3-030-99351-1 doi
Electronic commerce.
Data protection.
Information technology--Management.
Application software.
e-Commerce and e-Business.
Data and Information Security.
Computer Application in Administrative Data Processing.
Computer and Information Systems Applications.
Security Services.
HF5548.32-.33
381.142
Secure Multi-Party E-Commerce Protocols [electronic resource] / by Cătălin V. Bîrjoveanu, Mirela Bîrjoveanu. - 1st ed. 2022. - X, 109 p. 15 illus., 5 illus. in color. online resource. - SpringerBriefs in Computer Science, 2191-5776 . - SpringerBriefs in Computer Science, .
1. Introduction -- 2. Two-Party E-Commerce Protocols -- 3. Multi-Party E-Commerce Protocols for Complex Transactions -- 4. E-Commerce Protocols for Multi-Chained Complex Transactions -- 5. Formal Verification of Multi-Party Fair Exchange E-Commerce Protocols -- 6. Conclusions.
This book presents the state of the art for multi-party fair exchange protocols and provides insight details regarding multi-party applications for buying physical products. The authors tackle the fairness problem in e-commerce protocols for buying physical products in scenarios involving complex and chained transactions and provide use cases of these protocols for B2C and B2B scenarios. The book also includes the formal verification of the fair multi-party exchange e-commerce protocols using the Constraint-Logic-based Attack Searcher from AVISPA, a tool for the Automated Validation of Internet Security Protocols and Applications. This book is mainly targeted to researchers in e-commerce security, yet it shall be interesting as well for professional developers in e-commerce. They all are provided with an understanding of and a starting point for designing secure multi-party e-commerce protocols.
9783030993511
10.1007/978-3-030-99351-1 doi
Electronic commerce.
Data protection.
Information technology--Management.
Application software.
e-Commerce and e-Business.
Data and Information Security.
Computer Application in Administrative Data Processing.
Computer and Information Systems Applications.
Security Services.
HF5548.32-.33
381.142