@inproceedings{ArmandoCompagna-sd-jelia04,
  author =       {Alessandro Armando and Luca Compagna},
  title =        {SATMC: a SAT-based Model Checker for Security Protocols},
  booktitle =    {Proceedings of the 9th European Conference on
                  Logics in Artificial Intelligence (JELIA 2004)},
  publisher =    {Springer-Verlag},
  series =       {LNAI 3229},
  pages =        {730--733},
  year =         2004,
  address =      {Lisbon, Portugal},
  month =        {September},
  note =         {},
}