東華大學圖書館 |

The complete guide to SCION = from design principles to formal verification /

Record Type:	Electronic resources : Monograph/item
Title/Author:	The complete guide to SCION/ by Laurent Chuat ... [et al.].
Reminder of title:	from design principles to formal verification /
other author:	Chuat, Laurent.
Published:	Cham :Springer International Publishing : : 2022.,
Description:	xxi, 656 p. :ill. (chiefly col.), digital ;24 cm.
[NT 15003449]:	Foreword by Joël Mesot -- Foreword by Fritz Steinmann -- Preface -- How to Read This Book -- Acknowledgments -- Introduction -- I SCION Core Components -- Overview -- Authentication -- Control Plane -- Data Plane. II Analysis of the Core Components -- Functional Properties and Scalability -- Security Analysis -- III Achieving Global Availability Guarantees -- Extensions for the Control Plane -- Monitoring and Filtering -- Extensions for the Data Plane -- Availability Guarantees -- IV SCION in the Real World -- Host Structure -- Deployment and Operation -- SCIONLAB Research Testbed -- Use Cases and Applications -- Green Networking with SCION -- Cryptography -- V Additional Security Systems -- F-PKI: A Flexible End-Entity Public-Key Infrastructure -- RHINE: Secure and Reliable Internet Naming Service -- PILA: Pervasive Internet-Wide Low-Latency Authentication -- VI Formal Verification -- Motivation for Formal Verification -- Design-Level Verification -- Code-Level Verification -- Current Status and Plans -- VII Back Matter -- Related Work -- Bibliography -- Glossary -- Abbreviations -- Index.
Contained By:	Springer Nature eBook
Subject:	Computer network architectures. -
Online resource:	https://doi.org/10.1007/978-3-031-05288-0
ISBN:	9783031052880

The complete guide to SCION = from design principles to formal verification /
The complete guide to SCIONfrom design principles to formal verification /[electronic resource] :by Laurent Chuat ... [et al.]. - Cham :Springer International Publishing :2022. - xxi, 656 p. :ill. (chiefly col.), digital ;24 cm. - Information security and cryptography,2197-845X. - Information security and cryptography..

Foreword by Joël Mesot -- Foreword by Fritz Steinmann -- Preface -- How to Read This Book -- Acknowledgments -- Introduction -- I SCION Core Components -- Overview -- Authentication -- Control Plane -- Data Plane. II Analysis of the Core Components -- Functional Properties and Scalability -- Security Analysis -- III Achieving Global Availability Guarantees -- Extensions for the Control Plane -- Monitoring and Filtering -- Extensions for the Data Plane -- Availability Guarantees -- IV SCION in the Real World -- Host Structure -- Deployment and Operation -- SCIONLAB Research Testbed -- Use Cases and Applications -- Green Networking with SCION -- Cryptography -- V Additional Security Systems -- F-PKI: A Flexible End-Entity Public-Key Infrastructure -- RHINE: Secure and Reliable Internet Naming Service -- PILA: Pervasive Internet-Wide Low-Latency Authentication -- VI Formal Verification -- Motivation for Formal Verification -- Design-Level Verification -- Code-Level Verification -- Current Status and Plans -- VII Back Matter -- Related Work -- Bibliography -- Glossary -- Abbreviations -- Index.

When the SCION project started in 2009, the goal was to create an architecture offering high availability and security for basic point-to-point communication. In the five years since the publication of SCION: A Secure Internet Architecture, this next-generation Internet architecture has evolved in terms of both design and deployment. On the one hand, there has been development of exciting new concepts and systems, including a new global time-synchronization system, an inter-domain approach for bandwidth reservations called COLIBRI, and Green Networking, which allows combating global climate change on three fronts. On the other hand, SCION is now also in production use by the Swiss financial ecosystem, and enables participants such as the Swiss National Bank, the Swiss provider of clearing services (SIX), and all Swiss financial institutes to communicate securely and reliably with each other via the Secure Swiss Finance Network. This unique guidebook provides an updated description of SCION's main components, covering new research topics and the most recent deployments. In particular, it presents in-depth discussion of formal verification efforts. Importantly, it offers a comprehensive, thorough description of the current SCION system: Describes the principles that guided SCION's design as a secure and robust Internet architecture Provides a comprehensive description of the next evolution in the way data finds its way through the Internet Explains how SCION can contribute to reducing carbon emissions, by introducing SCION Green Networking Demonstrates how SCION not only functions in academic settings but also works in production deployments Discusses additional use cases for driving SCION's adoption Presents the approaches for formal verification of protocols and code Illustrated with many colorful figures, pictures, and diagrams, allowing easy access to the concepts and use cases Assembled by a team with extensive experience in the fields of computer networks and security, this text/reference is suitable for researchers, practitioners, and graduate students interested in network security. Also, readers with limited background in computer networking but with a desire to know more about SCION will benefit from an overview of relevant chapters in the beginning of the book.

ISBN: 9783031052880

Standard No.: 10.1007/978-3-031-05288-0doiSubjects--Topical Terms:

572483
Computer network architectures.

LC Class. No.: TK5105.5

Dewey Class. No.: 004.678

The complete guide to SCION = from design principles to formal verification /
LDR:04552nmm a2200361 a 4500 001 2299916
003 DE-He213
005 20220516201303.0
006 m d
007 cr nn 008maaau
008 230324s2022 sz s 0 eng d
020 $a 9783031052880 $q (electronic bk.)
020 $a 9783031052873 $q (paper)
024 7 $a 10.1007/978-3-031-05288-0 $2 doi
035 $a 978-3-031-05288-0
040 $a GP $c GP
041 0 $a eng
050 4 $a TK5105.5
072 7 $a UR $2 bicssc
072 7 $a UTN $2 bicssc
072 7 $a COM053000 $2 bisacsh
072 7 $a UR $2 thema
072 7 $a UTN $2 thema
082 0 4 $a 004.678 $2 23
090 $a TK5105.5 $b .C737 2022
245 0 4 $a The complete guide to SCION $h [electronic resource] : $b from design principles to formal verification / $c by Laurent Chuat ... [et al.].
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2022.
300 $a xxi, 656 p. : $b ill. (chiefly col.), digital ; $c 24 cm.
490 1 $a Information security and cryptography, $x 2197-845X
505 0 $a Foreword by Joël Mesot -- Foreword by Fritz Steinmann -- Preface -- How to Read This Book -- Acknowledgments -- Introduction -- I SCION Core Components -- Overview -- Authentication -- Control Plane -- Data Plane. II Analysis of the Core Components -- Functional Properties and Scalability -- Security Analysis -- III Achieving Global Availability Guarantees -- Extensions for the Control Plane -- Monitoring and Filtering -- Extensions for the Data Plane -- Availability Guarantees -- IV SCION in the Real World -- Host Structure -- Deployment and Operation -- SCIONLAB Research Testbed -- Use Cases and Applications -- Green Networking with SCION -- Cryptography -- V Additional Security Systems -- F-PKI: A Flexible End-Entity Public-Key Infrastructure -- RHINE: Secure and Reliable Internet Naming Service -- PILA: Pervasive Internet-Wide Low-Latency Authentication -- VI Formal Verification -- Motivation for Formal Verification -- Design-Level Verification -- Code-Level Verification -- Current Status and Plans -- VII Back Matter -- Related Work -- Bibliography -- Glossary -- Abbreviations -- Index.
520 $a When the SCION project started in 2009, the goal was to create an architecture offering high availability and security for basic point-to-point communication. In the five years since the publication of SCION: A Secure Internet Architecture, this next-generation Internet architecture has evolved in terms of both design and deployment. On the one hand, there has been development of exciting new concepts and systems, including a new global time-synchronization system, an inter-domain approach for bandwidth reservations called COLIBRI, and Green Networking, which allows combating global climate change on three fronts. On the other hand, SCION is now also in production use by the Swiss financial ecosystem, and enables participants such as the Swiss National Bank, the Swiss provider of clearing services (SIX), and all Swiss financial institutes to communicate securely and reliably with each other via the Secure Swiss Finance Network. This unique guidebook provides an updated description of SCION's main components, covering new research topics and the most recent deployments. In particular, it presents in-depth discussion of formal verification efforts. Importantly, it offers a comprehensive, thorough description of the current SCION system: Describes the principles that guided SCION's design as a secure and robust Internet architecture Provides a comprehensive description of the next evolution in the way data finds its way through the Internet Explains how SCION can contribute to reducing carbon emissions, by introducing SCION Green Networking Demonstrates how SCION not only functions in academic settings but also works in production deployments Discusses additional use cases for driving SCION's adoption Presents the approaches for formal verification of protocols and code Illustrated with many colorful figures, pictures, and diagrams, allowing easy access to the concepts and use cases Assembled by a team with extensive experience in the fields of computer networks and security, this text/reference is suitable for researchers, practitioners, and graduate students interested in network security. Also, readers with limited background in computer networking but with a desire to know more about SCION will benefit from an overview of relevant chapters in the beginning of the book.
650 0 $a Computer network architectures. $3 572483
650 0 $a Internet $x Security measures. $3 590477
650 0 $a Computer network protocols. $3 560075
650 1 4 $a Data and Information Security. $3 3538510
650 2 4 $a Computer Engineering and Networks. $3 3538504
650 2 4 $a Cloud Computing. $3 3231328
650 2 4 $a Computer Hardware. $3 892776
650 2 4 $a Security Science and Technology. $3 1531662
700 1 $a Chuat, Laurent. $3 3597823
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a Information security and cryptography. $3 1620909
856 4 0 $u https://doi.org/10.1007/978-3-031-05288-0
950 $a Computer Science (SpringerNature-11645)