The complete guide to SCION = from d...
Chuat, Laurent.

FindBook      Google Book      Amazon      博客來     
  • The complete guide to SCION = from design principles to formal verification /
  • 紀錄類型: 書目-電子資源 : Monograph/item
    正題名/作者: The complete guide to SCION/ by Laurent Chuat ... [et al.].
    其他題名: from design principles to formal verification /
    其他作者: Chuat, Laurent.
    出版者: Cham :Springer International Publishing : : 2022.,
    面頁冊數: xxi, 656 p. :ill. (chiefly col.), digital ;24 cm.
    內容註: Foreword by Joël Mesot -- Foreword by Fritz Steinmann -- Preface -- How to Read This Book -- Acknowledgments -- Introduction -- I SCION Core Components -- Overview -- Authentication -- Control Plane -- Data Plane. II Analysis of the Core Components -- Functional Properties and Scalability -- Security Analysis -- III Achieving Global Availability Guarantees -- Extensions for the Control Plane -- Monitoring and Filtering -- Extensions for the Data Plane -- Availability Guarantees -- IV SCION in the Real World -- Host Structure -- Deployment and Operation -- SCIONLAB Research Testbed -- Use Cases and Applications -- Green Networking with SCION -- Cryptography -- V Additional Security Systems -- F-PKI: A Flexible End-Entity Public-Key Infrastructure -- RHINE: Secure and Reliable Internet Naming Service -- PILA: Pervasive Internet-Wide Low-Latency Authentication -- VI Formal Verification -- Motivation for Formal Verification -- Design-Level Verification -- Code-Level Verification -- Current Status and Plans -- VII Back Matter -- Related Work -- Bibliography -- Glossary -- Abbreviations -- Index.
    Contained By: Springer Nature eBook
    標題: Computer network architectures. -
    電子資源: https://doi.org/10.1007/978-3-031-05288-0
    ISBN: 9783031052880
館藏地:  出版年:  卷號: 
館藏
  • 1 筆 • 頁數 1 •
  • 1 筆 • 頁數 1 •
多媒體
評論
Export
取書館
 
 
變更密碼
登入