Picture 1 of 1

Stock photo

Formal Analysis by Abstract Interpretation: Case Studies in Modern Protocols by - Picture 1 of 1

Springerbriefs in Applied Sciences and Technology Ser.: Formal Analysis by Abstract Interpretation : Case Studies in Modern Protocols by Benjamin Aziz (2021, Trade Paperback)

grandeagleretail (955872)

98.6% positive feedback

Price:

US $89.54

(inclusive of GST)

ApproximatelyS$ 115.40

+ $12.74 shipping

Estimated delivery Tue, 2 Dec - Wed, 31 Dec

Returns:

No returns, but backed by .

Condition:

Brand New

About this product

Product Identifiers

PublisherSpringer International Publishing A&G

ISBN-103030911527

ISBN-139783030911522

eBay Product ID (ePID)28057272538

Product Key Features

Number of PagesXii, 113 Pages

LanguageEnglish

Publication NameFormal Analysis by Abstract Interpretation : Case Studies in Modern Protocols

Publication Year2021

SubjectNetworking / General, Computer Science, Telecommunications

TypeTextbook

Subject AreaComputers, Technology & Engineering

AuthorBenjamin Aziz

SeriesSpringerbriefs in Applied Sciences and Technology Ser.

FormatTrade Paperback

Dimensions

Item Weight7.4 Oz

Item Length9.3 in

Item Width6.1 in

Additional Product Features

Number of Volumes1 vol.

IllustratedYes

Table Of ContentIntroduction.- 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.

SynopsisIntroduction 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, 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.

LC Classification NumberQA267-268.5