國立虎尾科技大學 |

Formal Analysis by Abstract Interpretation = Case Studies in Modern Protocols /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Formal Analysis by Abstract Interpretation/ by Benjamin Aziz.
Reminder of title:	Case Studies in Modern Protocols /
Author:	Aziz, Benjamin.
Description:	XII, 113 p. 25 illus.online resource. :
Contained By:	Springer Nature eBook
Subject:	Machine theory. -
Online resource:	https://doi.org/10.1007/978-3-030-91153-9
ISBN:	9783030911539

Formal Analysis by Abstract Interpretation = Case Studies in Modern Protocols /
Aziz, Benjamin.

Formal Analysis by Abstract InterpretationCase Studies in Modern Protocols /[electronic resource] :by Benjamin Aziz. - 1st ed. 2022. - XII, 113 p. 25 illus.online resource. - SpringerBriefs in Applied Sciences and Technology,2191-5318. - SpringerBriefs in Applied Sciences and Technology,.

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.

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.

ISBN: 9783030911539

Standard No.: 10.1007/978-3-030-91153-9doiSubjects--Topical Terms:

527775
Machine theory.

LC Class. No.: QA267-268.5

Dewey Class. No.: 005.131

Formal Analysis by Abstract Interpretation = Case Studies in Modern Protocols /
LDR:02179nam a22003975i 4500 001 1091751
003 DE-He213
005 20220118164250.0
007 cr nn 008mamaa
008 221228s2022 sz | s |||| 0|eng d
020 $a 9783030911539 $9 978-3-030-91153-9
024 7 $a 10.1007/978-3-030-91153-9 $2 doi
035 $a 978-3-030-91153-9
050 4 $a QA267-268.5
072 7 $a UYA $2 bicssc
072 7 $a MAT018000 $2 bisacsh
072 7 $a UYA $2 thema
082 0 4 $a 005.131 $2 23
100 1 $a Aziz, Benjamin. $e author. $0 (orcid)0000-0001-5089-2025 $1 https://orcid.org/0000-0001-5089-2025 $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1399379
245 1 0 $a Formal Analysis by Abstract Interpretation $h [electronic resource] : $b Case Studies in Modern Protocols / $c by Benjamin Aziz.
250 $a 1st ed. 2022.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2022.
300 $a XII, 113 p. 25 illus. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a SpringerBriefs in Applied Sciences and Technology, $x 2191-5318
505 0 $a 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.
520 $a 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.
650 0 $a Machine theory. $3 527775
650 0 $a Computer networks . $3 1365720
650 0 $a Internet of things. $3 1023130
650 0 $a Telecommunication. $3 568341
650 1 4 $a Formal Languages and Automata Theory. $3 1365747
650 2 4 $a Computer Communication Networks. $3 669310
650 2 4 $a Internet of Things. $3 1048478
650 2 4 $a Communications Engineering, Networks. $3 669809
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783030911522
776 0 8 $i Printed edition: $z 9783030911546
830 0 $a SpringerBriefs in Applied Sciences and Technology, $x 2191-530X $3 1253575
856 4 0 $u https://doi.org/10.1007/978-3-030-91153-9
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)