nada

Tesis de Pregrado

Computación. Using process calculi to model and verify security properties in real life communication protocols

Publicado el:: 25-07-2006

Andrés Alberto Aristizábal Pinzón y Hugo Andrés López Acosta
Mención de honor al trabajo de tesis 2006
Pregrado en Ingeniería de Sistemas y Computación
Pontificia Universidad Javeriana, Cali.
Peso: 1.28 Mb.

AVISO COOKIES+

Universia utiliza cookies para mejorar la navegación en su web.
Al continuar navegando en esta web, estás aceptando su utilización en los términos establecidos en la Política de cookies.

Cerrar +