@inproceedings{ArmandoCompagna-arspa04,
  author    = {Alessandro Armando and Luca Compagna},
  title     = {An Optimized Intruder Model for SAT-based Model-Checking of
               Security Protocols}, 
  booktitle = "Electronic Notes in Theoretical Computer Science",
  volume    = "125",
  issue     = "1",
  pages     = "91--108",
  publisher = "Elsevier Science Publishers",
  editor    = "Armando, A. and Vigan{\`o}, L.",
  month     = {March},
  year      = 2005,
  note      = {Presented to the IJCAR04 Workshop ARSPA, available at
               \url{http://www.avispa-project.org}},   
}