Anzeige
Erschienen in:
2022 | OriginalPaper | Buchkapitel
Formal Verification of Multi-party Fair Exchange E-Commerce Protocols
verfasst von : Cătălin V. Bîrjoveanu, Mirela Bîrjoveanu
Erschienen in: Secure Multi-Party E-Commerce Protocols
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.