The complete guide to SCION : from design principles to formal verification

著者

    • Chuat, Laurent
    • Legner, Markus
    • Hausheer, David
    • Hitz, Samuel
    • Müller, Peter
    • Perrig, Adrian

書誌事項

The complete guide to SCION : from design principles to formal verification

Laurent Chuat [and six others]

(Information security and cryptography : texts and monographs)

Springer, [2022] , , ©2022

大学図書館所蔵 件 / 1

この図書・雑誌をさがす

注記

Content Type: text (ncrcontent), Media Type: unmediated (ncrmedia), Carrier Type: volume (ncrcarrier)

Other authors: Markus Legner, David Basin, David Hausheer, Samuel Hitz, Peter Müller, Adrian Perrig

Includes bibliographical references (pages 585-640) and index

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ