Section: Software

PRISM model generator

Participants : Konstantinos Chatzikokolakis [ correspondant ] , Catuscia Palamidessi.

This software generates PRISM models for the Dining Cryptographers and Crowds protocols. It can also use PRISM to calculate the capacity of the corresponding channels. More information can be found in [42] and in the file README file width instructions at the URL http://www.lix.polytechnique.fr/comete/software/README-anonmodels.html .

The software can be download at http://www.lix.polytechnique.fr/comete/software/anonmodels.tar.gz . These scripts require Perl to run and have been tested in Linux. The GUI of the corners tool also requires the Perl/TK library. Finally some parts of the model generator tool require PRISM and gnuplot to be installed.