Our bash and Perl scripts, and three protocol models (Dining Cryptographers, Crowds, FOO): anon.tar.gz
The mCRL toolset must already be installed.