Secure Multi-Party E-Commerce Protocols

این کتاب وضعیت هنر را برای پروتکل‌های مبادله منصفانه چند طرفه ارائه می‌کند و جزئیات بینشی در مورد برنامه‌های کاربردی چند طرفه برای خرید محصولات فیزیکی ارائه می‌دهد. نویسندگان با مشکل انصاف در پروتکل‌های تجارت الکترونیکی برای خرید محصولات فیزیکی در سناریوهایی که شامل تراکنش‌های پیچیده و زنجیره‌ای هستند، برخورد کرده و موارد استفاده از این پروتکل‌ها را برای سناریوهای B2C و B2B ارائه می‌کنند. این کتاب همچنین شامل تأیید رسمی پروتکل‌های تجارت الکترونیک مبادلات چند طرفه منصفانه با استفاده از جستجوگر حمله مبتنی بر منطق از AVISPA است، ابزاری برای اعتبارسنجی خودکار پروتکل‌ها و برنامه‌های امنیتی اینترنت.

این کتاب عمدتاً برای محققان در زمینه امنیت تجارت الکترونیکی طراحی شده است، اما برای توسعه دهندگان حرفه ای در تجارت الکترونیک نیز جالب خواهد بود. همه آنها با درک و نقطه شروعی برای طراحی پروتکل های تجارت الکترونیک چند جانبه امن ارائه شده اند.

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.