From lotustomal at yahoo.com Sun May 3 23:44:04 2009 From: lotustomal at yahoo.com (alinur noman) Date: Sun, 3 May 2009 20:44:04 -0700 (PDT) Subject: [Avispa-users] Need your suggestion: how to check integrity Message-ID: <457621.69207.qm@web33204.mail.mud.yahoo.com> Dear all, I am verifying a protocol where the job is to check the integrity. The conclusion would be like this: if ( Mac_receivedfromA = Mac_calculatedbyB) then the protcol will be marked as safe and otherwise it will be unsafe. How can I do that in AVISPA? 1. As you know in avispa, if the comparison operation(e.g. mac1 =mac2 or mac1 /=mac2, to be more precise an event) does not succeed, the corresponding action will not be executed and the protocol will be called as safe.It becomes unsafe if an intruder somehow manage to satisfy the comparison operation. But in my protcol , the concentration is solely on integrity checking. Is there any way, to directly declare a protocol unsafe after checking the comparison operation? If you know an easy solution for this please inform me quickly. I will eagerly wait for your quick reply. Best Regards Ali Noman -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mail63.csoft.net/pipermail/avispa-users/attachments/20090503/617b3b1c/attachment.html From s.mehar123 at gmail.com Mon May 4 09:32:46 2009 From: s.mehar123 at gmail.com (srsini meharsara) Date: Mon, 4 May 2009 14:32:46 +0100 Subject: [Avispa-users] Secure routing protocol specification In-Reply-To: <5628be9d0905040631k6b921908n353490a2ecf4e439@mail.gmail.com> References: <5628be9d0905040631k6b921908n353490a2ecf4e439@mail.gmail.com> Message-ID: <5628be9d0905040632w355a7f0fy9d6d019f40f0d97e@mail.gmail.com> Hello I want to write a specification for secure routing protocol (signature .....), where can i fin a good example to do it Any suggestion or Help Please any useful link Best Regards -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mail63.csoft.net/pipermail/avispa-users/attachments/20090504/3ec73315/attachment.html From chiknour28 at yahoo.fr Sun May 10 11:13:53 2009 From: chiknour28 at yahoo.fr (CHIKOUCHE Noureddine) Date: Sun, 10 May 2009 15:13:53 +0000 (GMT) Subject: [Avispa-users] Specification Message-ID: <737321.24392.qm@web27202.mail.ukl.yahoo.com> Dear all, I am specifies a protocol : ? A ---> B : A, Na B ----> A : h(fh(A), (A,Na)) Such as: A, B : user Na : Number h, fh : function?hachage ? ? How to specify this protocol in HLPSL? I will eagerly wait for your quick reply. Best Regards CHIKOUCHE Noureddine -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mail63.csoft.net/pipermail/avispa-users/attachments/20090510/d6757ff6/attachment.html From nourin2 at gmail.com Mon May 25 12:01:25 2009 From: nourin2 at gmail.com (nouri nano) Date: Mon, 25 May 2009 18:01:25 +0200 Subject: [Avispa-users] pseudorandom function Message-ID: if we can use the pseudorandom function and CRC (Cyclic Redundancy Check) in HLPSL, How? waiting for your replay, -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mail63.csoft.net/pipermail/avispa-users/attachments/20090525/76f3002a/attachment.htm From nourin2 at gmail.com Mon May 25 12:01:23 2009 From: nourin2 at gmail.com (nouri nano) Date: Mon, 25 May 2009 18:01:23 +0200 Subject: [Avispa-users] pseudorandom function Message-ID: if we can use the pseudorandom function and CRC (Cyclic Redundancy Check) in HLPSL, How? waiting for your replay, -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mail63.csoft.net/pipermail/avispa-users/attachments/20090525/ca953d8b/attachment.htm