東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Formal analysis by abstract interpre...

Aziz, Benjamin.

Linked to FindBook

Google Book

Amazon

博客來

Formal analysis by abstract interpretation = case studies in modern protocols /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Formal analysis by abstract interpretation/ by 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.
[NT 15003449]:	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.
Contained By:	Springer Nature eBook
Subject:	Electronic data processing - Distributed processing. -
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. - 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

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

548601
Electronic data processing
--Distributed processing.

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

Dewey Class. No.: 004.36

Formal analysis by abstract interpretation = case studies in modern protocols /
LDR:01877nmm a2200337 a 4500 001 2296913
003 DE-He213
005 20211213085005.0
006 m d
007 cr nn 008maaau
008 230324s2022 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 3591966
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 548601
650 1 4 $a Mathematical Logic and Formal Languages. $3 892517
650 2 4 $a Computer Communication Networks. $3 775497
650 2 4 $a Cyber-physical systems, IoT. $3 3386699
650 2 4 $a Professional Computing. $3 3201325
650 2 4 $a Communications Engineering, Networks. $3 891094
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a SpringerBriefs in applied sciences and technology. $3 1565541
856 4 0 $u https://doi.org/10.1007/978-3-030-91153-9
950 $a Computer Science (SpringerNature-11645)