The analyser for cryptographic protocols using the Backes-Pfitzmann-Waidner cryptographic library can be downloaded from here.