Presentación del autor Bruno Blanchet:

Libros publicados hasta ahora por Bruno Blanchet:

Modelado y verificación de protocolos de seguridad con el cálculo Pi aplicado y ProVerif - Modeling...
La verificación de protocolos de seguridad ha sido...
Modelado y verificación de protocolos de seguridad con el cálculo Pi aplicado y ProVerif - Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif
<<
1
>>

© Book1 Group - todos los derechos reservados.
El contenido de este sitio no se puede copiar o usar, ni en parte ni en su totalidad, sin el permiso escrito del propietario.
Última modificación: 2024.10.17 08:50 (GMT+2)