[Avispa-users] Alice and Bob

[Saïd GHAROUT]

Thank you Sebastian.
cheers.
Saïd GHAROUT

2009/9/15 Sebastian Moedersheim <SMO at zurich.ibm.com>

>
> Hi,
>
> AVANTSSAR is a successor project of AVISPA, and the AVANTSSAR website
> distributes the latest version of OFMC and SATMC:
>
> www.avantssar.eu -> platform
>
> The latest version of OFMC supports Alice and Bob notation and ships with
> several examples like H.530.
>
> I guess this could be of interest to all those AVISPA users who try to
> formulate the classical protocols in Alice and Bob notation and I include
> the spec of h530 and nspk as those were explicitly discussed here...
>
> Cheers,
> Sebastian
>
>
>
>
> _______________________________________________
> Avispa-users mailing list
> Avispa-users at avispa-project.org
> http://mail63.csoft.net/mailman/listinfo/avispa-users
>
>


-- 
---------------------------------------------------------------
Saïd GHAROUT,
Lab. Heudiasyc, UMR CNRS 6599
University of Technology of Compiègne
Centre de Recherche Royallieu  B.P. 20529,
60205 Compiègne Cedex, France.
Phone  : +33 3 44 23 49 54
Fax    : +33 3 44 23 44 77
Email: sgharout at hds.utc.fr
Web: http://www.hds.utc.fr/~sgharout
-------------------------------------------------------------
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mail63.csoft.net/pipermail/avispa-users/attachments/20091119/18b0b477/attachment.htm