Vorstellung des Autors Bruno Blanchet:

Bisher veröffentlichte Bücher von Bruno Blanchet:

Modellierung und Verifizierung von Sicherheitsprotokollen mit dem Applied Pi Calculus und ProVerif -...
New Publ Inc
Die Überprüfung von Sicherheitsprotokollen ist...
Modellierung und Verifizierung von Sicherheitsprotokollen mit dem Applied Pi Calculus und ProVerif - Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif
<<
1
>>