Skip to main content
main-content
Top

Hint

Swipe to navigate through the chapters of this book

2022 | OriginalPaper | Chapter

Formal Verification of Multi-party Fair Exchange E-Commerce Protocols

Authors : Cătălin V. Bîrjoveanu, Mirela Bîrjoveanu

Published in: Secure Multi-Party E-Commerce Protocols

Publisher: Springer International Publishing

share
SHARE

This chapter provides an overview of the AVISPA tool for the automated validation of largescale Internet security protocols. It also includes the formal verification using Cl-AtSe of the multi-party fair exchange e-commerce protocols presented in the previous chapter.

Metadata
Title
Formal Verification of Multi-party Fair Exchange E-Commerce Protocols
Authors
Cătălin V. Bîrjoveanu
Mirela Bîrjoveanu
Copyright Year
2022
DOI
https://doi.org/10.1007/978-3-030-99351-1_5

Premium Partner