The Complete Guide to SCION: From Design Principles to Formal Verification (Information Security and Cryptography)

[LeeAndro]

English | 2022 | ISBN: ‎ 978-3031052873 | 653 pages | True pdf | 10.4 MB

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 -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 :


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 bning of the book.



DOWNLOAD

https://1dl.net/17upfstvd7aw/BlBlqqpN_The_Complete_Guide_to_SCION_From_Design_Principles_to_Formal_Verification.rar.html