Formal analysis by abstract interpretation : case studies in modern protocols / Benjamin Aziz.
2022
QA76.9.D5 A95 2022
Linked e-resources
Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Formal analysis by abstract interpretation : case studies in modern protocols / Benjamin Aziz.
Author
Aziz, Benjamin, author.
ISBN
9783030911539 (electronic book)
3030911535 (electronic book)
9783030911522
3030911527
3030911535 (electronic book)
9783030911522
3030911527
Published
Cham : Palgrave Macmillan, 2022.
Language
English
Description
1 online resource : illustrations
Item Number
10.1007/978-3-030-91153-9 doi
Call Number
QA76.9.D5 A95 2022
Dewey Decimal Classification
004/.36
Summary
The book provides a gentle introduction and definition of the denotational-based abstract interpretation method. The book demonstrates how the above method of formal analysis can be used, not only to address the security of systems, but other more general and interesting properties related to the testing, mutating and semantic ambiguity resolution of protocols. The book presents three case studies, all related to current complex protocols and standards used in industry, particularly in the context of IoT and Industry 4.0.
Bibliography, etc. Note
Includes bibliographical references and index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (viewed December 13, 2021).
Series
SpringerBriefs in applied sciences and technology.
Available in Other Form
Formal analysis by abstract interpretation.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources
Table of Contents
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.
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.