{"product_id":"the-complete-guide-to-scion-laurent-chuat-9783031052873","title":"The Complete Guide to Scion: From Design Principles to Formal Verification","description":"\u003cp\u003eForeword by Jo? Mesot xi\u003cbr\u003e\u003c\/p\u003e \u003cp\u003eForeword by Fritz Steinmann xiii\u003c\/p\u003e \u003cp\u003ePreface xv\u003c\/p\u003e \u003cp\u003eHow to Read This Book xvii\u003c\/p\u003e \u003cp\u003eAcknowledgments xix\u003c\/p\u003e \u003cp\u003e1 Introduction 1\u003c\/p\u003e \u003cp\u003e1.1 Today's Internet . . . . . . . . . . . . . . . . . . . . . . . 2\u003c\/p\u003e \u003cp\u003e1.2 Goals for a Secure Internet Architecture . . . . . . . . . . . 9\u003c\/p\u003e \u003cp\u003eI SCION Core Components 15\u003c\/p\u003e \u003cp\u003e2 Overview 17\u003c\/p\u003e \u003cp\u003e2.1 Infrastructure Components . . . . . . . . . . . . . . . . . . 20\u003c\/p\u003e \u003cp\u003e2.2 Authentication . . . . . . . . . . . . . . . . . . . . . . . . 21\u003c\/p\u003e \u003cp\u003e2.3 Control Plane . . . . . . . . . . . . . . . . . . . . . . . . . 23\u003c\/p\u003e \u003cp\u003e2.4 Data Plane . . . . . . . . . . . . . . . . . . . . . . . . . . 28\u003c\/p\u003e \u003cp\u003e2.5 ISD and AS Numbering . . . . . . . . . . . . . . . . . . . 31\u003c\/p\u003e \u003cp\u003e3 Authentication 35\u003c\/p\u003e \u003cp\u003e3.1 The Control-Plane PKI (CP-PKI) . . . . . . . . . . . . . . 36\u003c\/p\u003e \u003cp\u003e3.2 DRKey: Dynamically Recreatable Keys . . . . . . . . . . . 52\u003c\/p\u003e \u003cp\u003e3.3 SCION Packet Authenticator Option . . . . . . . . . . . . . 61\u003c\/p\u003e \u003cp\u003e4 Control Plane 65\u003c\/p\u003e \u003cp\u003e4.1 Path-Segment Construction Beacons (PCBs) . . . . . . . . 66\u003c\/p\u003e \u003cp\u003e4.2 Path Exploration (Beaconing) . . . . . . . . . . . . . . . . 69\u003c\/p\u003e \u003cp\u003e4.3 Path-Segment Registration . . . . . . . . . . . . . . . . . . 71\u003c\/p\u003e \u003cp\u003e4.4 PCB and Path-Segment Selection . . . . . . . . . . . . . . 73\u003c\/p\u003e \u003cp\u003e4.5 Path Lookup . . . . . . . . . . . . . . . . . . . . . . . . . 80\u003c\/p\u003e \u003cp\u003e4.6 Service Discovery . . . . . . . . . . . . . . . . . . . . . . 87\u003c\/p\u003e \u003cp\u003e4.7 SCION Control Message Protocol (SCMP) . . . . . . . . . 89\u003c\/p\u003e \u003cp\u003e5 Data Plane 93\u003cbr\u003e\u003c\/p\u003e \u003cp\u003e5.1 Inter- and Intra-domain Forwarding . . . . . . . . . . . . . 94\u003c\/p\u003e \u003cp\u003e5.2 Packet Format . . . . . . . . . . . . . . . . . . . . . . . . 95\u003c\/p\u003e \u003cp\u003e5.3 Path Authorization . . . . . . . . . . . . . . . . . . . . . . 96\u003c\/p\u003e \u003cp\u003e5.4 The SCION Path Type . . . . . . . . . . . . . . . . . . . . 101\u003c\/p\u003e \u003cp\u003e5.5 Path Construction (Segment Combinations) . . . . . . . . . 104\u003c\/p\u003e \u003cp\u003e5.6 Packet Initialization and Forwarding . . . . . . . . . . . . . 115\u003c\/p\u003e \u003cp\u003e5.7 Path Revocation . . . . . . . . . . . . . . . . . . . . . . . 120\u003c\/p\u003e \u003cp\u003e5.8 Data-Plane Extensions . . . . . . . . . . . . . . . . . . . . 124\u003c\/p\u003e \u003cp\u003eII Analysis of the Core Components 127\u003c\/p\u003e \u003cp\u003e6 Functional Properties and Scalability 129\u003c\/p\u003e \u003cp\u003e6.1 Dependency Analysis . . . . . . . . . . . . . . . . . . . . . 130\u003c\/p\u003e \u003cp\u003e6.2 SCION Path Policy . . . . . . . . . . . . . . . . . . . . . . 135\u003c\/p\u003e \u003cp\u003e6.3 Scalability Analysis . . . . . . . . . . . . . . . . . . . . . 148\u003c\/p\u003e \u003cp\u003e6.4 Beaconing Overhead and Path Quality . . . . . . . . . . . . 150\u003c\/p\u003e \u003cp\u003e7 Security Analysis 157\u003c\/p\u003e 7.1 Security Goals and Properties . . . . . . . . . . . . . . . . 158\u003cp\u003e\u003c\/p\u003e \u003cp\u003e7.2 Threat Model . . . . . . . . . . . . . . . . . . . . . . . . . 161\u003c\/p\u003e \u003cp\u003e7.3 Overview . . . . . . . . . . . . . . . . . . . . . . . . . . . 162\u003c\/p\u003e \u003cp\u003e7.4 Control-Plane Security . . . . . . . . . . . . . . . . . . . . 165\u003c\/p\u003e \u003cp\u003e7.5 Path Authorization . . . . . . . . . . . . . . . . . . . . . . 170\u003c\/p\u003e \u003cp\u003e7.6 Data-Plane Security . . . . . . . . . . . . . . . . . . . . . 172\u003c\/p\u003e \u003cp\u003e7.7 Source Authentication . . . . . . . . . . . . . . . . . . . . 174\u003c\/p\u003e \u003cp\u003e7.8 Absence of Kill Switches . . . . . . . . . . . . . . . . . . . 176\u003c\/p\u003e \u003cp\u003e7.9 Other Security Properties . . . . . . . . . . . . . . . . . . . 179\u003c\/p\u003e \u003cp\u003e7.10 Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . 181\u003c\/p\u003e \u003cp\u003eIII Achieving Global Availability Guarantees 183\u003c\/p\u003e \u003cp\u003e8 Extensions for the Control Plane 185\u003c\/p\u003e \u003cp\u003e8.1 Hidden Paths . . . . . . . . . . . . . . . . . . . . . . . . . 185\u003c\/p\u003e \u003cp\u003e8.2 Time Synchronization . . . . . . . . . . . . . . . . . . . . 190\u003c\/p\u003e \u003cp\u003e8.3 Path Metadata in PCBs . . . . . . . . . . . . . . . . . . . . 197\u003c\/p\u003e \u003cp\u003e9 Monitoring and Filtering 203\u003c\/p\u003e \u003cp\u003e9.1 Replay Suppression . . . . . . . . . . . . . . . . . . . . . . 204\u003c\/p\u003e \u003cp\u003e9.2 High-Speed Traffic Filtering with LightningFilter . . . . . . 207\u003c\/p\u003e \u003cp\u003e9.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Laurent Chuat, Markus Legner, David Basin\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 3031052870\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9783031052873\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Springer\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 05\/17\/2022\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 656\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Hardcover\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 2.47lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.21h x 6.14w x 1.44d\u003c\/p\u003e","brand":"Laurent Chuat","offers":[{"title":"Hardcover","offer_id":44078792999167,"sku":"9783031052873","price":139.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_e0cd7be6-ff23-4135-b8ac-760632ccd29c.jpg?v=1685477550","url":"https:\/\/www.whiterainbookhouse.com\/products\/the-complete-guide-to-scion-laurent-chuat-9783031052873","provider":"WR Book House","version":"1.0","type":"link"}