Complete Guide to SCION

Complete Guide to SCION

From Design Principles to Formal Verification

Legner, Markus; Perrig, Adrian; Hitz, Samuel; Basin, David; Chuat, Laurent; Hausheer, David; Mueller, Peter

Springer International Publishing AG

05/2022

656

Dura

Inglês

9783031052873

15 a 20 dias

1178

Descrição não disponível.
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
SCION;formal;verification;design;architecture;internet