@inproceedings{ArmandoCompagna-ijis2006,
  author    = {Alessandro Armando and Luca Compagna},
  title     = {SAT-based Model-Checking for Security Protocols 
               Analysis}, 
  booktitle = "International Journal of Information Security",
  ISSN      = {1615-5262}
  volume    = "",
  issue     = "",
  pages     = "",
  publisher = "Springer",
  editor    = "Gollmann, D. and Lopez, J. and Meadows, C.A. and Okamoto, E.",
  month     = {September},
  year      = 2007,
}