Applying Formal Evaluation to Worm Defense Design.

Raman SharykinPhillip A. Porras
Published in: IPCCC (2007)
Keyphrases
  • formal evaluation
  • user interface
  • computer aided
  • case study
  • computer mediated