The Complete Guide to SCION From Design Principles to Formal Verification - Chuat, Laurent; Legner, Markus; Basin, David; Hausheer, David; Hitz, Samuel; Müller, Peter; Perrig, Adrian (Springer International Publishing, 2022)
Keywords: Data and Information Security; Computer Engineering and Networks; Cloud Computing; Computer Hardware; Security Science and Technology; Data protection; Computer engineering; Computer networks; Computers; Security systems