Prezentacja autora Bruno Blanchet:

Dotychczas wydane książki Bruno Blanchet:

Modelowanie i weryfikacja protokołów bezpieczeństwa za pomocą Applied Pi Calculus i ProVerif -...
Weryfikacja protokołów bezpieczeństwa jest...
Modelowanie i weryfikacja protokołów bezpieczeństwa za pomocą Applied Pi Calculus i ProVerif - Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif
<<
1
>>

© Book1 Group - wszelkie prawa zastrzeżone.
Zawartość tej strony nie może być kopiowana ani wykorzystywana w całości lub w części bez pisemnej zgody właściciela.
Ostatnia aktualizacja: 2024.11.13 21:45 (GMT)