Authors:
- Discusses use cases driving SCION's adoption, as well as formal verification of protocols
- Describes the principles that guided SCION's design as a secure, robust Internet architecture
- Assembled by a team with extensive experience in the fields of computer networks and security
Part of the book series: Information Security and Cryptography (ISC)
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (25 chapters)
-
Front Matter
-
SCION Core Components
-
Front Matter
-
-
Analysis of the Core Components
-
Front Matter
-
-
Achieving Global Availability Guarantees
-
Front Matter
-
-
SCION in the Real World
-
Front Matter
-
About this book
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.
Authors and Affiliations
-
Network Security Group, ETH Zürich, Zürich, Switzerland
Laurent Chuat, Markus Legner, Adrian Perrig
-
Information Security Group, ETH Zürich, Zürich, Switzerland
David Basin
-
Otto von Guericke University Magdeburg, Magdeburg, Germany
David Hausheer
-
Anapaya Systems, Zürich, Switzerland
Samuel Hitz
-
Programming Methodology Group, ETH Zürich, Zürich, Switzerland
Peter Müller
About the authors
Markus Legner is a senior researcher and lecturer in the Network Security Group, where he is conducting research on the design and verification of security protocols. He holds a Bachelor's degree in computer science from ETH Zurich as well as a doctorate in theoretical physics.
David Basin is a professor of computer science at ETH Zurich and was head of the department from 2019 to 2020. David received his PhD in computer science from Cornell University in 1989 and his Habilitation in computer science from the University of Saarbrücken in 1996. From 1997 to 2002, he held the Chair of Software Engineering at the University of Freiburg in Germany. He is the founding director of the Zurich Information Security Center (ZISC).David Hausheer is a professor at the Faculty of Computer Science at Otto von Guericke University Magdeburg, where he leads the Networks and Distributed Systems Lab. He received his degree in electrical engineering from ETH Zurich in 2001. Since 2001, he participated in numerous European Union projects. He obtained his PhD in 2005 and was then employed as a senior researcher and lecturer in the Department of Informatics (IFI) at the University of Zurich.
Samuel Hitz holds a Master's degree in computer science from ETH Zurich and is the current CTO and previous CEO of Anapaya, which he co-founded with Adrian Perrig, David Basin, and Peter Müller. He has worked on the implementation of SCION and, together with Anapaya's customers, on the real-world deployment and operation of an enterprise-oriented SCION network.
Peter Müller has been a professor of computer science at ETH Zurich since 2008. Before joining ETH Zurich, he worked as an IT project manager at Deutsche Bank in Frankfurt and held a position as researcher at Microsoft Research. Peter Müller is working on programming languages, methods, and tools with the goal of enabling programmers to develop correct software.Adrian Perrig is a professor at the Department of Computer Science at ETH Zurich, where he leads the Network Security Group. He is also an adjunct professor of electrical and computer engineering at Carnegie Mellon University. From 2007 to 2012, he served as the technical director for Carnegie Mellon's CyLab. During that time, he led a research project aimed at building a next-generation Internet architecture, which was later renamed SCION.
Bibliographic Information
Book Title: The Complete Guide to SCION
Book Subtitle: From Design Principles to Formal Verification
Authors: Laurent Chuat, Markus Legner, David Basin, David Hausheer, Samuel Hitz, Peter Müller, Adrian Perrig
Series Title: Information Security and Cryptography
DOI: https://doi.org/10.1007/978-3-031-05288-0
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2022
Hardcover ISBN: 978-3-031-05287-3Published: 17 May 2022
Softcover ISBN: 978-3-031-05290-3Published: 18 May 2023
eBook ISBN: 978-3-031-05288-0Published: 16 May 2022
Series ISSN: 1619-7100
Series E-ISSN: 2197-845X
Edition Number: 1
Number of Pages: XXI, 656
Number of Illustrations: 37 b/w illustrations, 121 illustrations in colour
Topics: Systems and Data Security, Computer Systems Organization and Communication Networks, Professional Computing, Computer Hardware, Security Science and Technology