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.
Swipe to navigate through the chapters of this book
Please log in to get access to this content
- Formal Verification of Multi-party Fair Exchange E-Commerce Protocols
Cătălin V. Bîrjoveanu
- Copyright Year
- Springer International Publishing