> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Buch Titel: Modeling and verifying security protocols with the applied pi calculus and ProVerif Beteiligte: Blanchet, Bruno [VerfasserIn] Erschienen: Boston; Delft: now, [2017] Erschienen in: Foundations and trends in privacy and security ; 1,1/2 Umfang: 142 Seiten; 23 cm Sprache: Englisch ISBN: 9781680832068 RVK-Notation: ST 200 : Allgemeines, Netzmanagement ST 130 : Allgemeines Schlagwörter: Sicherheitsprotokoll > Pi-Kalkül Entstehung: Anmerkungen: Text englisch Beschreibung: This survey focuses on the verification of specifications of protocols in the symbolic model. Even though it is fairly abstract, this level of verification is relevant in practice as it enables the discovers of many attacks. Weitere Bestandsnachweise 0 : Foundations and trends in privacy and security
Bereichsbibliothek DrePunct – Freihand Signatur: ST 200 B641-1,1-2 Barcode: 34780049 Fällig am: 29.04.2024 Status: Ausgeliehen, Vormerken möglich > Vormerken möglich - bitte anmelden