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