Media type: Book Title: Modeling and verifying security protocols with the applied pi calculus and ProVerif Contributor: Blanchet, Bruno [VerfasserIn] imprint: Boston; Delft: now, [2017] Published in: Foundations and trends in privacy and security ; 1,1/2 Extent: 142 Seiten; 23 cm Language: English ISBN: 9781680832068 RVK notation: ST 200 : Allgemeines, Netzmanagement ST 130 : Allgemeines Keywords: Sicherheitsprotokoll > Pi-Kalkül Origination: Footnote: Text englisch Description: 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.
Departmental Library DrePunct – open access area Shelf-mark: ST 200 B641-1,1-2 Item ID: 34780049 Due date: 2024/05/27 Status: On loan, place hold > Reservation possible ‒ please log in