Bruno Blanchet szerző bemutatása:

Bruno Blanchet szerző eddig megjelent könyvei:

Biztonsági protokollok modellezése és hitelesítése az alkalmazott Pi-kalkulussal és a ProVerif-féle...
New Publ Inc
A biztonsági protokollok ellenőrzése az 1990-es...
Biztonsági protokollok modellezése és hitelesítése az alkalmazott Pi-kalkulussal és a ProVerif-féle programmal - Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif
<<
1
>>