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

List:       avispa-users
Subject:    [Avispa-users] Any solution to verify integrity of a number?
From:       mohamed slim ben mahmoud <slim.ben.mahmoud () gmail ! com>
Date:       2011-04-14 8:27:04
Message-ID: BANLkTinzg-ZOeGnk0iBAk46=5HHoQvcgnA () mail ! gmail ! com
[Download RAW message or body]

[Attachment #2 (multipart/alternative)]


Hi all,

I am searching for a way to verify the integrity of an exchanged data
between two entities with AVISPA. I know there is no "integrity" goal
(either in CAS+ nor HPLSL) but I was wondering if there is any tip to bypass
this issue using the secrecy or authentication goal (may be with the use of
public keys...). Anyone has been confronted to this?

Regards.

-- 
Mohamed Slim BEN MAHMOUD

[Attachment #5 (text/html)]

Hi all,<div><br></div><div>I am searching for a way to verify the integrity=
 of an exchanged data between two entities with AVISPA. I know there is no =
&quot;integrity&quot; goal (either in CAS+ nor HPLSL) but I was wondering i=
f there is any tip to bypass this issue using the secrecy or authentication=
 goal (may be with the use of public keys...). Anyone has been confronted t=
o this?</div>
<div><br></div><div>Regards.</div><div><br>-- <br>Mohamed Slim BEN MAHMOUD<=
br>
</div>


_______________________________________________
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]