This is to let you all know that the Maude-NRL Protocol Analyzer (Maude-NPA) is now available for downloading at
http://maude.cs.uiuc.edu/tools/Maude-NPA/ . Maude-NPA is a protocol analysis tool that takes into account algebraic properties of the cryptosystems and other functions used in constructing a protocol. Besides the tool and manual, the web page also contains links to papers describing the formal model and algorithms used by Maude-NPA.
_______________________________________________
Maude-users mailing list
Maude-users@...
http://maude.cs.uiuc.edu/cgi-bin/mailman/listinfo/maude-users
