DBLP Record 'conf/iceis/TobarraCPC08'

BibTeX

@inproceedings{DBLP:conf/iceis/TobarraCPC08,
  author    = {M. Llanos Tobarra and
               Diego Cazorla and
               Juan Jos{\'e} Pardo and
               Fernando Cuartero},
  title     = {Formal Verification of the Secure Sockets Layer Protocol},
  booktitle = {ICEIS (3-2)},
  year      = {2008},
  pages     = {246-252},
  crossref  = {DBLP:conf/iceis/2008-3-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/iceis/2008-3-2,
  editor    = {Jos{\'e} Cordeiro and
               Joaquim Filipe},
  title     = {ICEIS 2008 - Proceedings of the Tenth International Conference
               on Enterprise Information Systems, Volume ISAS-2, Barcelona,
               Spain, June 12-16, 2008},
  booktitle = {ICEIS (3-2)},
  year      = {2008},
  isbn      = {978-989-8111-38-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}