Skip to main content

Tipp

Weitere Kapitel dieses Buchs durch Wischen aufrufen

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

Verlag: Springer International Publishing

share
TEILEN

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.

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

Premium Partner