Proactive Detection of Computer Worms Using Model Checking (bibtex)
by Johannes Kinder, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith
Reference:
Proactive Detection of Computer Worms Using Model CheckingJohannes Kinder, Stefan Katzenbeisser, Christian Schallhart, Helmut VeithIEEE Transactions on Dependable and Secure Computing, volume 7, number 4, pages 424-438, October-December 2010.
Bibtex Entry:
@article{Kinder:Katzenbeisser:Schallhart:Veith:ProactiveDetection,
  author = {Johannes Kinder and Stefan Katzenbeisser and Christian Schallhart and Helmut Veith},
  title = {Proactive Detection of Computer Worms Using Model Checking},
  number = {4},
  month = {October-December},
  year = {2010},
  howpublished = {preprint},
  journal = {IEEE Transactions on Dependable and Secure Computing},
  pages = {424-438},
  volume = {7}
}
Powered by bibtexbrowser