@MISC{briesemeister:emist-PI:2006,
  AUTHOR = {Linda Briesemeister and Phillip A. Porras},
  TITLE = {Formally Specifying Design Goals of Worm Defense Strategies},
  HOWPUBLISHED = {Proceedings of DETER Community Workshop on Cyber Security Experimentation and Test},
  MONTH = {June},
  YEAR = {2006},
  NOTE = {Extended Abstract},
}