@InProceedings{SACACM04,
  author = "G. Díaz and F. Cuartero and V. Valero and F. L. Pelayo",
  title = "Automatic Verification of the TLS HandShake Protocol",
  booktitle = "In Proceedings of the 19th ACM Symposium on Applied Computing (SAC 2004)",
  address =  {Nicosia (Cyprus)},
  date =    {March 14-17}
}