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.