DBLP Record 'conf/wisec/HannaRZ08'

BibTeX

@inproceedings{DBLP:conf/wisec/HannaRZ08,
  author    = {Youssef Hanna and
               Hridesh Rajan and
               Wensheng Zhang},
  title     = {Slede: a domain-specific verification framework for sensor
               network security protocol implementations},
  booktitle = {WISEC},
  year      = {2008},
  pages     = {109-118},
  ee        = {http://doi.acm.org/10.1145/1352533.1352551},
  crossref  = {DBLP:conf/wisec/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/wisec/2008,
  editor    = {Virgil D. Gligor and
               Jean-Pierre Hubaux and
               Radha Poovendran},
  title     = {Proceedings of the First ACM Conference on Wireless Network
               Security, WISEC 2008, Alexandria, VA, USA, March 31 - April
               02, 2008},
  booktitle = {WISEC},
  publisher = {ACM},
  year      = {2008},
  isbn      = {978-1-59593-814-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}