Comments on: TLS Handshake protocol en ProVerif http://www.limited-entropy.com/tls-handshake-protocol-en-proverif Not so random thoughts on security featured by Eloi Sanfèlix Fri, 27 Jan 2012 03:06:42 +0000 hourly 1 http://wordpress.org/?v=3.3 By: Geneticall Modified Foods http://www.limited-entropy.com/tls-handshake-protocol-en-proverif/comment-page-1#comment-60467 Geneticall Modified Foods Wed, 26 Oct 2011 01:02:07 +0000 http://www.limited-entropy.com/?p=82#comment-60467 <strong>Geneticall Modified Foods Thanks for the information...</strong> Thanks for the information... Geneticall Modified Foods Thanks for the information…

Thanks for the information…

]]> By: /var/log/TuXeD » Blog Archive » Verificación de protocolos criptográficos: Introducción http://www.limited-entropy.com/tls-handshake-protocol-en-proverif/comment-page-1#comment-1989 /var/log/TuXeD » Blog Archive » Verificación de protocolos criptográficos: Introducción Sun, 06 Jul 2008 20:10:32 +0000 http://www.limited-entropy.com/?p=82#comment-1989 [...] este cuatrimestre en la TU Eindhoven se llama Verification of security protocols. Cuando posteé el modelo del protocolo de establecimiento de TLS, que era el trabajo con más peso de la asignatura (sobre un 20%), voy a intentar explicar un poco [...] [...] este cuatrimestre en la TU Eindhoven se llama Verification of security protocols. Cuando posteé el modelo del protocolo de establecimiento de TLS, que era el trabajo con más peso de la asignatura (sobre un 20%), voy a intentar explicar un poco [...]

]]> By: TuXeD http://www.limited-entropy.com/tls-handshake-protocol-en-proverif/comment-page-1#comment-1935 TuXeD Fri, 13 Jun 2008 00:55:04 +0000 http://www.limited-entropy.com/?p=82#comment-1935 Uhm, sorry, se me fue la olla... Era .vosp y no .pi como acostumbramos a guardarlo. Es así xq el profesor los renombra y yo mantuve la misma extensión que él usa. Ahora ya debería ir... PD: Partyyyy! Me voy a sobar que ya es hora... Uhm, sorry, se me fue la olla… Era .vosp y no .pi como acostumbramos a guardarlo. Es así xq el profesor los renombra y yo mantuve la misma extensión que él usa.

Ahora ya debería ir…

PD: Partyyyy! Me voy a sobar que ya es hora…

]]> By: vierito5 http://www.limited-entropy.com/tls-handshake-protocol-en-proverif/comment-page-1#comment-1934 vierito5 Thu, 12 Jun 2008 15:04:24 +0000 http://www.limited-entropy.com/?p=82#comment-1934 El link del modelo no está bien. Me parece interesante! :) El link del modelo no está bien. Me parece interesante! :)

]]> By: TuXeD http://www.limited-entropy.com/tls-handshake-protocol-en-proverif/comment-page-1#comment-1932 TuXeD Wed, 11 Jun 2008 20:40:44 +0000 http://www.limited-entropy.com/?p=82#comment-1932 Recibido ;) Recibido ;)

]]> By: Death Master http://www.limited-entropy.com/tls-handshake-protocol-en-proverif/comment-page-1#comment-1931 Death Master Wed, 11 Jun 2008 19:48:21 +0000 http://www.limited-entropy.com/?p=82#comment-1931 ¡A mí me mola! ;) ¡A mí me mola! ;)

]]>