Presentazione dell'autore Bruno Blanchet:

Libri pubblicati finora da Bruno Blanchet:

Modellazione e verifica di protocolli di sicurezza con il Calcolo Pi applicato e ProVerif - Modeling...
La verifica dei protocolli di sicurezza è un'area...
Modellazione e verifica di protocolli di sicurezza con il Calcolo Pi applicato e ProVerif - Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif
<<
1
>>

© Book1 Group - tutti i diritti riservati.
Il contenuto di questo sito non può essere copiato o utilizzato, né in parte né per intero, senza il permesso scritto del proprietario.
Ultima modifica: 2024.11.08 20:28 (GMT)