Complete Guide to SCION
portes grátis
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
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.
