Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Introduction
3. Altmetric Badge
   Chapter 2 Overview
4. Altmetric Badge
   Chapter 3 Authentication
5. Altmetric Badge
   Chapter 4 Control Plane
6. Altmetric Badge
   Chapter 5 Data Plane
7. Altmetric Badge
   Chapter 6 Functional Properties and Scalability
8. Altmetric Badge
   Chapter 7 Security Analysis
9. Altmetric Badge
   Chapter 8 Extensions for the Control Plane
10. Altmetric Badge
    Chapter 9 Monitoring and Filtering
11. Altmetric Badge
    Chapter 10 Extensions for the Data Plane
12. Altmetric Badge
    Chapter 11 Availability Guarantees
13. Altmetric Badge
    Chapter 12 Host Structure
14. Altmetric Badge
    Chapter 13 Deployment and Operation
15. Altmetric Badge
    Chapter 14 SCIONLAB Research Testbed
16. Altmetric Badge
    Chapter 15 Use Cases and Applications
17. Altmetric Badge
    Chapter 16 Green Networking with SCION
18. Altmetric Badge
    Chapter 17 Cryptography
19. Altmetric Badge
    Chapter 18 F-PKI: A Flexible End-Entity Public-Key Infrastructure
20. Altmetric Badge
    Chapter 19 RHINE: Secure and Reliable Internet Naming Service
21. Altmetric Badge
    Chapter 20 PILA: Pervasive Internet-Wide Low-Latency Authentication
22. Altmetric Badge
    Chapter 21 Motivation for Formal Verification
23. Altmetric Badge
    Chapter 22 Design-Level Verification
24. Altmetric Badge
    Chapter 23 Code-Level Verification
25. Altmetric Badge
    Chapter 24 Current Status and Plans
26. Altmetric Badge
    Chapter 25 Related Work