國立高雄大學圖資館 |

Language: English

Back

Formal analysis by abstract interpretationcase studies in modern protocols /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Formal analysis by abstract interpretationby Benjamin Aziz.
Reminder of title:	case studies in modern protocols /
Author:	Aziz, Benjamin.
Published:	Cham :Springer International Publishing :2022.
Description:	xii, 113 p. :ill., digital ;24 cm.
Contained By:	Springer Nature eBook
Subject:	Electronic data processingDistributed processing.
Online resource:	https://doi.org/10.1007/978-3-030-91153-9
ISBN:	9783030911539$q(electronic bk.)

Formal analysis by abstract interpretationcase studies in modern protocols /
Aziz, Benjamin.

Formal analysis by abstract interpretationcase studies in modern protocols /[electronic resource] :by Benjamin Aziz. - Cham :Springer International Publishing :2022. - xii, 113 p. :ill., digital ;24 cm. - 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$q(electronic bk.)

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

182427
Electronic data processing
--Distributed processing.

LC Class. No.: QA76.9.D5 / A95 2022

Dewey Class. No.: 004.36

Formal analysis by abstract interpretationcase studies in modern protocols /
LDR:01877nmm a2200337 a 4500 001 618958
003 DE-He213
005 20211213085005.0
006 m d
007 cr nn 008maaau
008 221103s2022 sz s 0 eng d
020 $a 9783030911539$q(electronic bk.)
020 $a 9783030911522$q(paper)
024 7 $a 10.1007/978-3-030-91153-9 $2 doi
035 $a 978-3-030-91153-9
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.9.D5 $b A95 2022
072 7 $a UYA $2 bicssc
072 7 $a MAT018000 $2 bisacsh
072 7 $a UYA $2 thema
082 0 4 $a 004.36 $2 23
090 $a QA76.9.D5 $b A995 2022
100 1 $a Aziz, Benjamin. $3 919019
245 1 0 $a Formal analysis by abstract interpretation $h [electronic resource] : $b case studies in modern protocols / $c by Benjamin Aziz.
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2022.
300 $a xii, 113 p. : $b ill., digital ; $c 24 cm.
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 Electronic data processing $x Distributed processing. $3 182427
650 1 4 $a Mathematical Logic and Formal Languages. $3 275383
650 2 4 $a Computer Communication Networks. $3 218087
650 2 4 $a Cyber-physical systems, IoT. $3 836359
650 2 4 $a Professional Computing. $3 763344
650 2 4 $a Communications Engineering, Networks. $3 273745
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer Nature eBook
830 0 $a SpringerBriefs in applied sciences and technology. $3 557662
856 4 0 $u https://doi.org/10.1007/978-3-030-91153-9
950 $a Computer Science (SpringerNature-11645)