Téléchargez le livre : Formal Analysis by Abstract Interpretation

Formal Analysis by Abstract Interpretation

Case Studies in Modern Protocols de

Éditeur :

Springer


Collection :

SpringerBriefs in Applied Sciences and Technology

Paru le : 2021-12-13

eBook Téléchargement , DRM LCP 🛈 DRM Adobe 🛈
Lecture en ligne (streaming)
63,29 €
Téléchargement immédiat
Dès validation de votre commande
Image Louise Reader présentation

Louise Reader

Lisez ce titre sur l'application Louise Reader.

badge apple Application Louise Reader
badge Android Application Louise Reader
Description

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.
Pages
113 pages
Collection
SpringerBriefs in Applied Sciences and Technology
Parution
2021-12-13
Marque
Springer
EAN papier
9783030911522
EAN PDF
9783030911539
Informations sur l'ebook
Nombre pages copiables
1
Nombre pages imprimables
11
Taille du fichier
4106 Ko
Prix
63,29 €
EAN EPUB
9783030911539
Informations sur l'ebook
Nombre pages copiables
1
Nombre pages imprimables
11
Taille du fichier
11121 Ko
Prix
63,29 €

Suggestions personnalisées