Skip to main content

License single eBooks

Your results

Search and filter

Showing 1 - 1 of 1
0 eBooks €0

  • From Design Principles to Formal Verification
    Laurent Chuat; Markus Legner; David Basin; David Hausheer; Samuel Hitz; Peter Müller; Adrian Perrig
    978-3-031-05288-0
    2022
    Edition 1
    • Discusses use cases driving SCION's adoption, as well as formal verification of protocols
    • Describes the principles that guided SCION's design as a secure, robust Internet architecture
    • Assembled by a team with extensive experience in the fields of computer networks and security

    €180

Is this helpful?

Survey

Survey to collect feedback on the helpfulness of this page.

Survey

Survey to collect feedback on the helpfulness of this page.