> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: Schriftenreihe; Monographische Schriftenreihe Titel: Foundations and trends in privacy and security Erschienen: Hanover, MA; Delft: now, 2016- Erscheinungsverlauf: Volume 1, Issue 1/2- Sprache: Englisch ISSN: 2474-1558 Schlagwörter: Monografische Reihe Entstehung: Anmerkungen:
Blanchet, Bruno [Verfasser:in] Modeling and verifying security protocols with the applied pi calculus and ProVerif Bruno Blanchet, INRIA Paris, France Boston; Delft: now, [2017]