From a_tarish at hotmail.com Mon Dec 4 09:33:10 2006 From: a_tarish at hotmail.com (Abdul-Gabbar Tarish) Date: Mon Dec 4 09:30:41 2006 Subject: [Avispa-users] xemacs-mode Message-ID: Hi all, When executing " avispa-mode.bin " to install xemacs-mode (after exporting all the environment variables according the instruction listed in the file "INSTALL.xemacs"), I get the following message : While compiling toplevel forms in file /home/tarish/programFiles/avispa-1.1/contrib/xemacs-mode/xemacs-mode/avispa.el: !! File error (("Cannot open load file" "compile"))Cannot open load file: compilexemacs exiting How to fix this problem ?? Thank you all. Yours, AG. Al-Tamimi _________________________________________________________________ Be one of the first to try Windows Live Mail. http://ideas.live.com/programpage.aspx?versionId=5d21c51a-b161-4314-9b0e-4911fb2b2e6d -------------- next part -------------- An HTML attachment was scrubbed... URL: http://carroll.ai.dist.unige.it/pipermail/avispa-users/attachments/20061204/76f606db/attachment.htm From genet at irisa.fr Tue Dec 5 14:18:05 2006 From: genet at irisa.fr (Thomas Genet) Date: Tue Dec 5 14:16:02 2006 Subject: [Avispa-users] Protocol Animator and binary versions of AVISPA Message-ID: <4575718D.9060705@irisa.fr> Dear all AVISPA users, we are very happy to announce the first release of SPAN -- a Security Protocol ANimator for AVISPA SPAN is designed to help protocol developers in writing HLPSL specifications. From an HLPSL specification SPAN helps in interactively buiding Message Sequence Charts (MSC) of the protocol execution. Since SPAN implements an active intruder, it can also be used to interactively find and build attacks over protocols. SPAN includes a local graphical interface similar to the one of AVISPA. ------------------------------------------------------------------- SPAN is distributed under LGPL in source form. We also provide 'complete binary packages' that run on **Linux, Windows, MacOS** with SPAN and binary versions of AVISPA tools (when available on a given architecture). Source and binary packages can be downloaded here: http://www.irisa.fr/lande/genet/span Please send bugs, comments, improvements to genet@irisa.fr Best regards, 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