Prezentacja autora Bruno Blanchet:

Dotychczas wydane książki Bruno Blanchet:

Modelowanie i weryfikacja protokołów bezpieczeństwa za pomocą Applied Pi Calculus i ProVerif -...
New Publ Inc
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
>>