Publicado, 25-07-2006
Tesis de grado - Computación. Using process calculi to model and verify security properties in real life communication protocols. Pontificia Universidad Javeriana, Cali.
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.