Formal Analysis by Abstract Interpretation: Case Studies in Modern Protocols (1st ed. 2022) (SpringerBriefs in Applied Sciences and Technology)
By:
Sign Up Now!
Already a Member? Log In
You must be logged into Bookshare to access this title.
Learn about membership options,
or view our freely available titles.
- Synopsis
- 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.
- Copyright:
- 2022
Book Details
- Book Quality:
- Publisher Quality
- ISBN-13:
- 9783030911539
- Related ISBNs:
- 9783030911522
- Publisher:
- Springer International Publishing
- Date of Addition:
- 12/13/21
- Copyrighted By:
- The Author
- Adult content:
- No
- Language:
- English
- Has Image Descriptions:
- No
- Categories:
- Nonfiction, Computers and Internet, Technology, Mathematics and Statistics, Communication, Philosophy
- Submitted By:
- Bookshare Staff
- Usage Restrictions:
- This is a copyrighted book.
Reviews
Other Books
- by Benjamin Aziz
- in Nonfiction
- in Computers and Internet
- in Technology
- in Mathematics and Statistics
- in Communication
- in Philosophy