The Complete Guide to SCION: From Design Principles to Formal Verification

The SCION project, which began in 2009, has developed into a next-generation Internet architecture with high availability and security for point-to-point communication. It has evolved in design and deployment, with new concepts and systems such as a global time-synchronization system, COLIBRI, and Green Networking. It is now in production use by the Swiss financial ecosystem, enabling secure and reliable communication between participants. This guidebook provides an updated description of SCION's main components, covering new research topics and recent deployments. It also offers a comprehensive description of the current SCION system, discusses additional use cases, and presents approaches for formal verification of protocols and code.

Format: Hardback
Length: 656 pages
Publication date: 17 May 2022
Publisher: Springer International Publishing AG

When the SCION project commenced in 2009, its primary objective was to establish an architecture that prioritized both high availability and security for basic point-to-point communication. Over the past five years, since the publication of SCION: A Secure Internet Architecture, this next-generation Internet architecture has undergone significant evolution in terms of both design and deployment.

On the one hand, there has been a proliferation of innovative concepts and systems, including the development of a novel global time-synchronization system, the introduction of an inter-domain approach for bandwidth reservations known as COLIBRI, and the implementation of Green Networking, which offers a multi-faceted approach to combating global climate change.

On the other hand, SCION has now entered into production use within the Swiss financial ecosystem, enabling participants such as the Swiss National Bank, the Swiss provider of clearing services (SIX), and all Swiss financial institutions to securely and reliably communicate with each other through the Secure Swiss Finance Network.

This comprehensive guidebook serves as an updated overview of SCION's key components, encompassing new research topics and the most recent deployments. In particular, it delves into extensive discussions on formal verification efforts. Importantly, it provides a thorough and comprehensive description of the current SCION system, encompassing the principles that guided its design as a secure and robust Internet architecture.

The guidebook also offers a comprehensive account of the next evolution in the way data traverses the Internet, highlighting how SCION plays a pivotal role in this transformation. It elucidates how SCION can contribute to reducing carbon emissions by introducing SCION Green Networking, a technology that leverages the inherent capabilities of the Internet to facilitate environmentally sustainable practices. Furthermore, the guidebook demonstrates how SCION functions not only in academic settings but also in production deployments, showcasing its real-world applications and potential impact.

In addition to its practical applications, the guidebook explores various use cases that further drive the adoption of SCION. It discusses the potential benefits of SCION in various industries, such as healthcare, transportation, and finance, and highlights the approaches for formal verification of pr.

By providing a comprehensive and up-to-date perspective on SCION, this guidebook serves as a valuable resource for researchers, practitioners, and policymakers alike. It contributes to the ongoing efforts to enhance the security, reliability, and sustainability of the Internet, paving the way for a more connected and environmentally responsible future.

Weight: 1178g
Dimension: 235 x 155 (mm)
ISBN-13: 9783031052873
Edition number: 1st ed. 2022