书目名称 | Secure Multi-Party E-Commerce Protocols |
编辑 | Cătălin V. Bîrjoveanu,Mirela Bîrjoveanu |
视频video | |
概述 | Presents the state of the art for multi-party fair exchange protocols.Provides various use cases of such protocols for B2C and B2B scenarios.Includes the formal verification of the presented multi-par |
丛书名称 | SpringerBriefs in Computer Science |
图书封面 |  |
描述 | .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.. |
出版日期 | Book 2022 |
关键词 | E-Commerce; E-Business; Security Protocols; Formal Verification; Information Security; AVISPA; Fair Exchan |
版次 | 1 |
doi | https://doi.org/10.1007/978-3-030-99351-1 |
isbn_softcover | 978-3-030-99350-4 |
isbn_ebook | 978-3-030-99351-1Series ISSN 2191-5768 Series E-ISSN 2191-5776 |
issn_series | 2191-5768 |
copyright | The Author(s), under exclusive license to Springer Nature Switzerland AG 2022 |