SRI Logo
About Us|R and D Divisions|Careers|Newsroom|Contact Us|SRI Home
     
  SRI Logo

Applying Formal Evaluation to Worm Defense Design
 by Phillip Porras.

Abstract
In applying formal evaluation to worm defense design, we emphasize early insertion of formal analyses in distributed malware defense evaluation and apply an executable rewriting logic specification to drive both simulation and property validation of a collaborative group-based worm defense. An important aspect of the algorithm under consideration is its distributed and probabilistic nature, which makes the defense system harder to attack but also complicates the ability of designers to fully understand its behavioral properties. We have demonstrated an approach to formally analyzing our case-study worm defense algorithm, employing tools that facilitate both statistical simulation and property validation, documented in the paper "Applying Formal Evaluation to Worm Defense Design" by R. Sharykin and P.A. Porras in Proceedings of the 26th International Performance Computing and Communications Conference in New Orleans, Louisiana, March 2007.
Files

Principal Investigator: Phillip Porras

 













 

About Us  |  R&D Divisions  |  Careers  |  Newsroom  |  Contact Us
© 2017 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy