BibTeX record conf/sac/DiazCRP04

• > Home > conf/sac/DiazCRP04

@inproceedings{DBLP:conf/sac/DiazCRP04,
  author       = {Gregorio D{\'{\i}}az and
                  Fernando Cuartero and
                  Valent{\'{\i}}n Valero Ruiz and
                  Fernando L. Pelayo},
  editor       = {Hisham Haddad and
                  Andrea Omicini and
                  Roger L. Wainwright and
                  Lorie M. Liebrock},
  title        = {Automatic verification of the {TLS} handshake protocol},
  booktitle    = {Proceedings of the 2004 {ACM} Symposium on Applied Computing (SAC),
                  Nicosia, Cyprus, March 14-17, 2004},
  pages        = {789--794},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/967900.968063},
  doi          = {10.1145/967900.968063},
  timestamp    = {Thu, 14 Oct 2021 10:14:11 +0200},
  biburl       = {https://dblp.org/rec/conf/sac/DiazCRP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}