[prev in list] [next in list] [prev in thread] [next in thread]
List: avispa-users
Subject: [Avispa-users] Re : Re : Re : how to model this kind of protocol
From: chikh omar <enis01amor () yahoo ! fr>
Date: 2008-10-09 12:26:46
Message-ID: 471134.18805.qm () web26004 ! mail ! ukl ! yahoo ! com
[Download RAW message or body]
[Attachment #2 (multipart/alternative)]
Hi thomas,
you doesn't answer my question about the correctness of my specification
Please can you verify it!
The paper describing the Liao scheme is :
"I. E. Liao, C. C. Lee, and M. S. Hwang, "Security enhancement for a dynamic id-based \
remote user authentication scheme," In Proceedings of the IEEE International \
Conference on Next Generation Web Services Practices (NWeSP 2005), Aug. 2005, pp. \
22-26."
Thanks,
Hi omar,
chikh omar a écrit :
> Hello,
> In fact i am not new to avispa. I had to work with it since 2006.
> But there is some things that we can't modelize with avispa.
> Comments are bellow:
> "how we make N:=xor(h(PW),h(ID.x)) in role peer and the peer must not
> know x.
I am not sure to understand this question ... what is x?
> how to send data over a secure channel
I attached to this answer a possible encoding of secure channels in
basic HLPSL...
> xor(N,Y,T'): this syntaxe is it correct xor between 3 or more elements
I don't think so but maybe i am wrong... I think you have to use a
xor(N, xor(Y,T')) form...
> how to verify the validity of time (T of receive is not too late than
> time of send)
I don't think that this is possible to encode this in HLPSL...
Best,
Thomas
--
Thomas Genet - IFSIC/IRISA
Campus de Beaulieu, 35042 Rennes cedex, France
TÈl: +33 (0) 2 99 84 73 44 E-mail: genet@irisa.fr
http://www.irisa.fr/lande/genet
[Attachment #5 (text/html)]
<html><head><style type="text/css"><!-- DIV {margin:0px;} \
--></style></head><body><div style="font-family:times new roman, new york, times, \
serif;font-size:14pt"><DIV></DIV> <DIV>
<DIV>
<DIV></DIV>Hi thomas,</DIV></DIV>
<DIV style="FONT-SIZE: 14pt; FONT-FAMILY: times new roman, new york, times, serif">
<DIV style="FONT-SIZE: 12pt; FONT-FAMILY: times new roman, new york, times, serif">
<DIV style="FONT-SIZE: 14pt; FONT-FAMILY: times new roman, new york, times, serif">
<DIV> </DIV>
<DIV>you doesn't answer my question about the correctness of my specification</DIV>
<DIV> </DIV>
<DIV>Please can you verify it!</DIV>
<DIV> </DIV>
<DIV>The paper describing the Liao scheme is :</DIV>
<DIV>"I. E. Liao, C. C. Lee, and M. S. Hwang, "Security enhancement for a dynamic \
id-based remote user authentication scheme," In Proceedings of the IEEE International \
Conference on Next Generation Web Services Practices (NWeSP 2005), Aug. 2005, pp. \
22-26."</DIV> <DIV> </DIV>
<DIV> </DIV>
<DIV>Thanks,</DIV>
<DIV style="FONT-SIZE: 14pt; FONT-FAMILY: times new roman, new york, times, serif">
<DIV style="FONT-SIZE: 13px; FONT-FAMILY: arial, helvetica, sans-serif"><BR><BR>Hi \
omar,<BR><BR><BR>chikh omar a écrit :<BR>> Hello,<BR>> In fact i am not new to \
avispa. I had to work with it since 2006.<BR>> But there is some things that we \
can't modelize with avispa.<BR>> Comments are bellow:<BR>> "how we make \
N:=xor(h(PW),h(ID.x)) in role peer and the peer must not <BR>> know \
x.<BR><BR> I am not sure to understand this question .... what is \
x?<BR><BR><BR>> how to send data over a secure channel<BR><BR> I \
attached to this answer a possible encoding of secure channels in <BR>basic \
HLPSL...<BR><BR><BR>> xor(N,Y,T'): this syntaxe is it correct xor between 3 or \
more elements<BR><BR> I don't think so but maybe i am wrong... I \
think you have to use a <BR>xor(N, xor(Y,T')) form...<BR><BR><BR>> how to verify \
the validity of time (T of receive is not too late than <BR>> time of \
send)<BR><BR> I don't think that this is possible to encode this in \
HLPSL...<BR><BR>Best,<BR><BR><BR>Thomas<BR><BR>-- <BR>Thomas Genet - \
IFSIC/IRISA<BR>Campus de Beaulieu, 35042 Rennes cedex, France<BR>TÈl: \
+33 (0) 2 99 84 73 44 E-mail: <A \
href="mailto:genet@irisa.fr" target=_blank rel=nofollow \
ymailto="mailto:genet@irisa.fr">genet@irisa.fr</A><BR><A \
href="http://www.irisa.fr/lande/genet" target=_blank \
rel=nofollow>http://www.irisa.fr/lande/genet</A><BR></DIV></DIV></DIV><BR></DIV></DIV></div><br>
</body></html>
_______________________________________________
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]
Configure |
About |
News |
Add a list |
Sponsored by KoreLogic