DBLP BibTeX Record 'conf/wetice/DebbabiMTY97'

@inproceedings{DBLP:conf/wetice/DebbabiMTY97,
  author    = {Mourad Debbabi and
               Mohamed Mejri and
               Nadia Tawbi and
               I. Yahmadi},
  title     = {From Protocol Specifications to Flaws and Attack Scenarios:
               An Automatic and Formal Algorithm},
  booktitle = {WETICE},
  year      = {1997},
  pages     = {256-262},
  ee        = {http://computer.org/proceedings/wet-ice/7967/79670256abs.htm},
  crossref  = {DBLP:conf/wetice/1997},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/wetice/1997,
  title     = {6th Workshop on Enabling Technologies (WET-ICE '97), Infrastructure
               for Collaborative Enterprises, 18-20 June 1997, MIT, Cambridge,
               MA, USA, Proceedings},
  booktitle = {WETICE},
  publisher = {IEEE Computer Society},
  year      = {1997},
  isbn      = {0-8186-7967-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}