Maude-NPA available for downloading

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.