The Complete Guide to Scion: From Design Principles to Formal Verification
暫譯: Scion 完整指南：從設計原則到形式驗證
Chuat, Laurent, Legner, Markus, Basin, David
- 出版商: Springer
- 出版日期: 2022-05-17
- 售價: $5,630
- 貴賓價: 9.5 折 $5,349
- 語言: 英文
- 頁數: 656
- 裝訂: Hardcover - also called cloth, retail trade, or trade
- ISBN: 3031052870
- ISBN-13: 9783031052873
海外代購書籍(需單獨結帳)
相關主題
商品描述
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.
商品描述(中文翻譯)
當SCION專案於2009年啟動時，目標是創建一種架構，提供高可用性和安全性以進行基本的點對點通信。在《SCION: A Secure Internet Architecture》出版的五年後，這種下一代互聯網架構在設計和部署方面都發生了演變。
一方面，開發了令人興奮的新概念和系統，包括一個新的全球時間同步系統、一種名為COLIBRI的跨域帶寬預留方法，以及綠色網絡（Green Networking），這使得在三個方面對抗全球氣候變化成為可能。另一方面，SCION現在也已在瑞士金融生態系統中投入生產使用，使得瑞士國家銀行、瑞士清算服務提供商（SIX）以及所有瑞士金融機構等參與者能夠通過安全瑞士金融網絡進行安全可靠的通信。
這本獨特的指南提供了SCION主要組件的更新描述，涵蓋了新的研究主題和最新的部署。特別是，它深入討論了形式驗證的努力。重要的是，它提供了對當前SCION系統的全面、徹底的描述：
- 描述了指導SCION設計的原則，使其成為一種安全且穩健的互聯網架構
- 提供了對數據在互聯網中流動方式的下一次演變的全面描述
- 解釋了SCION如何通過引入SCION綠色網絡來幫助減少碳排放
- 演示了SCION不僅在學術環境中運作，還能在生產部署中發揮作用
- 討論了推動SCION採用的其他使用案例
- 提出對協議和代碼的形式驗證方法
- 附有許多色彩繽紛的圖形、圖片和圖表，便於讀者輕鬆理解概念和使用案例
這本由擁有豐富計算機網絡和安全領域經驗的團隊編寫的文本/參考書，適合對網絡安全感興趣的研究人員、從業者和研究生。此外，對計算機網絡背景有限但希望了解更多SCION的讀者，將從書籍開頭相關章節的概述中受益。
作者簡介
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.
作者簡介(中文翻譯)
Laurent Chuat 是蘇黎世聯邦理工學院 (ETH Zurich) 網路安全小組的博士後研究員，他的研究主要集中在身份驗證和公鑰基礎設施上。他於 2020 年在蘇黎世聯邦理工學院獲得計算機科學博士學位，並共同撰寫了《SCION: A Secure Internet Architecture》一書。
Markus Legner 是網路安全小組的高級研究員和講師，他正在進行安全協議的設計和驗證研究。他擁有蘇黎世聯邦理工學院的計算機科學學士學位，以及理論物理學的博士學位。
David Basin 是蘇黎世聯邦理工學院的計算機科學教授，並於 2019 年至 2020 年期間擔任系主任。David 於 1989 年在康奈爾大學獲得計算機科學博士學位，並於 1996 年在薩爾布呂肯大學獲得計算機科學的 Habilitation。從 1997 年到 2002 年，他擔任德國弗賴堡大學的軟體工程講座教授。他是蘇黎世資訊安全中心 (ZISC) 的創始主任。
David Hausheer 是馬格德堡奧托·馮·古里基大學計算機科學系的教授，並領導網路與分散式系統實驗室。他於 2001 年在蘇黎世聯邦理工學院獲得電機工程學位。自 2001 年以來，他參與了多個歐盟項目。他於 2005 年獲得博士學位，隨後在蘇黎世大學資訊學系 (IFI) 擔任高級研究員和講師。
Samuel Hitz 擁有蘇黎世聯邦理工學院的計算機科學碩士學位，並是 Anapaya 的現任首席技術官 (CTO) 和前首席執行官 (CEO)，該公司是他與 Adrian Perrig、David Basin 和 Peter Müller 共同創立的。他參與了 SCION 的實作，並與 Anapaya 的客戶一起進行企業導向的 SCION 網路的實際部署和運營。
Peter Müller 自 2008 年以來一直是蘇黎世聯邦理工學院的計算機科學教授。在加入蘇黎世聯邦理工學院之前，他曾在法蘭克福的德意志銀行擔任 IT 專案經理，並在微軟研究院擔任研究員。Peter Müller 正在研究程式語言、方法和工具，旨在使程式設計師能夠開發正確的軟體。
Adrian Perrig 是蘇黎世聯邦理工學院計算機科學系的教授，並領導網路安全小組。他同時也是卡內基梅隆大學電機與計算機工程的兼任教授。從 2007 年到 2012 年，他擔任卡內基梅隆大學 CyLab 的技術總監。在此期間，他領導了一個旨在建立下一代網際網路架構的研究專案，該專案後來被重新命名為 SCION。
