The complete guide to SCION : from design principles to formal verification / Laurent Chuat, Markus Legner, David Basin, David Hausheer, Samuel Hitz, Peter Müller, Adrian Perrig.
Chuat, Laurent, author.; Legner, Markus, author.; Basin, David, author.; Hausheer, David, author.; Hitz, Samuel, author.; Müller, Peter, 1972- author.; Perrig, Adrian, author.
2022
TK5105.5
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title The complete guide to SCION : from design principles to formal verification / Laurent Chuat, Markus Legner, David Basin, David Hausheer, Samuel Hitz, Peter Müller, Adrian Perrig.
Author Chuat, Laurent, author.
ISBN 9783031052880 (electronic bk.)
3031052889 (electronic bk.)
9783031052873
3031052870
DOI https://doi.org/10.1007/978-3-031-05288-0
Published Cham : Springer, [2022]
Copyright ©2022
Language English
Description 1 online resource : illustrations (chiefly color).
Item Number 10.1007/978-3-031-05288-0 doi
Call Number TK5105.5
Dewey Decimal Classification 004.67/8
Summary 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.
Bibliography, etc. Note Includes bibliographical references and index.
Access Note Access limited to authorized users.
Source of Description Online resource; title from PDF title page (SpringerLink, viewed June 1, 2022).
Added Author Legner, Markus, author.
Basin, David, author.
Hausheer, David, author.
Hitz, Samuel, author.
Müller, Peter, 1972- author.
Perrig, Adrian, author.
Series Information security and cryptography.
Available in Other Form Print version: 9783031052873
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
Foreword by Joel 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.

Browse Subjects

Show more subjects...

Statistics

from
to
Export