SinghL03'

BibTeX

@inproceedings{DBLP:conf/iaw/SinghL03,
  author    = {Prabhat K. Singh and
               Arun Lakhotia},
  title     = {Static Verification of Worm and virus Behavior in binary
               Executables using Model Checking},
  booktitle = {IAW},
  year      = {2003},
  pages     = {298-300},
  crossref  = {DBLP:conf/iaw/2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/iaw/2003,
  title     = {IEEE Systems, Man and Cybernetics Society Information Assurance
               Workshop, June 18-20, 2003, West Point, New York, USA},
  booktitle = {IAW},
  publisher = {IEEE},
  year      = {2003},
  isbn      = {0-7803-7808-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}