[prev in list] [next in list] [prev in thread] [next in thread] 

List:       avispa-users
Subject:    [Avispa-users] Key Compromise
From:       Pasca Vladimir <vladimir_pasca () yahoo ! com>
Date:       2008-07-25 13:51:13
Message-ID: 75695.33626.qm () web32506 ! mail ! mud ! yahoo ! com
[Download RAW message or body]

[Attachment #2 (multipart/alternative)]


Hello,


I have a question about modelling a procotol for which the session key is \
compromized. In a diffie-hellman key exchange protocol the session key is actually a \
new nonce encrypted with the diffie-hellman key (KK).

In HLPSL this looks like this :

   /\ xa':= new() %private key




      


[Attachment #5 (text/html)]

<table cellspacing='0' cellpadding='0' border='0' ><tr><td valign='top' style='font: \
inherit;'>Hello,<br><br><br>I have a question about modelling a procotol for which \
the session key is compromized. In a diffie-hellman key exchange protocol the session \
key is actually a new nonce encrypted with the diffie-hellman key (KK).<br><br>In \
HLPSL this looks like this :<br><br>&nbsp;&nbsp; /\ xa':= new() %private \
key<br><br></td></tr></table><br>

      



_______________________________________________
Avispa-users mailing list
Avispa-users@avispa-project.org
http://mail63.csoft.net/mailman/listinfo/avispa-users


[prev in list] [next in list] [prev in thread] [next in thread]