Formal Analysis by Abstract Interpretation: Case Studies in Modern Protocols

By Benjamin Aziz

Introduction

Chapter 1: Program Analysis

Chapter 2: Process Algebra

Chapter 3: First Case Study: The MQTT Protocol

Chapter 4: Second Case Study: The Hermes Protocol

Chapter 5: Third Case Study: An EV Charging Protocol

Chapter 6: Conclusion

Bibliography

• Format: Paperback
• Language: English
• ISBN: 3030911527
• ISBN13: 9783030911522
• Release Date: December 2021
• Publisher: Springer
• Length: 113 Pages
• Weight: 0.42 lbs.
• Dimensions: 0.3" x 6.1" x 9.2"