by Laurent Chuat, Markus Legner, David Basin, David Hausheer, Samuel Hitz, Peter Müller, and Adrian Perrig
Reference:
The Complete Guide to SCION. From Design Principles to Formal Verification. Laurent Chuat, Markus Legner, David Basin, David Hausheer, Samuel Hitz, Peter Müller, and Adrian Perrig. Publisher: Springer International Publishing AG, 2022.
Bibtex Entry:
@book{SCIONBookv2,
author = {Laurent Chuat and Markus Legner and David Basin and David Hausheer and Samuel Hitz and Peter Müller and Adrian Perrig},
title = {The Complete Guide to SCION. From Design Principles to Formal Verification},
publisher = {Springer International Publishing AG},
year = {2022},
url = {https://link.springer.com/book/10.1007/978-3-031-05288-0},
keywords = {book}
}