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

The Complete Guide to SCION: From Design Principles to Formal Verification (Information Security and Cryptography) 1st ed. 2022 Edition
by Laurent Chuat (Author), Markus Legner (Author), David Basin (Author), David Hausheer (Author), Samuel Hitz (Author), Peter Müller (Author), Adrian Perrig (Author)
Publisher Finelybook 出版社:Springer; 1st ed. 2022 edition (May 17, 2022)
Language 语言:English
pages 页数:677 pages
ISBN-10 书号:3031052870
ISBN-13 书号:9783031052873

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

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 Author: 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, Author: 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 Author: 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.

下载地址隐藏内容1积分,请先!没有帐号? 注 册 一个!
觉得文章有用就打赏一下
未经允许不得转载:finelybook » The Complete Guide to SCION: From Design Principles to Formal Verification

评论 抢沙发

  • 昵称 (必填)
  • 邮箱 (必填)
  • 网址

觉得文章有用就打赏一下

非常感谢你的打赏,我们将继续给力更多优质内容,让我们一起创建更加美好的网络世界!

支付宝扫一扫打赏

微信扫一扫打赏