Prezentarea autorului Bruno Blanchet:

Cărțile publicate de Bruno Blanchet până acum:

Modelarea și verificarea protocoalelor de securitate cu ajutorul calculului Pi aplicat și ProVerif -...
New Publ Inc
Verificarea protocoalelor de securitate a fost un...
Modelarea și verificarea protocoalelor de securitate cu ajutorul calculului Pi aplicat și ProVerif - Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif
<<
1
>>

© Book1 Group - toate drepturile rezervate.
Conținutul acestui site nu poate fi copiat sau utilizat, nici parțial, nici integral, fără permisiunea scrisă a proprietarului.
Ultima modificare: 2024.11.08 07:02 (GMT)