@Article{AlTurkiMG09,
  author = 	 {Musab AlTurki and Jose Meseguer and Carl A. Gunter},
  title = 	 {Probabilstic Modeling and Analysis of DoS Protection for the ASV Protocol},
  journal = 	 {Electronic Notes on Theoretical Computer Science},
  year = 	 2009,
  volume =	 234,
  pages =        3-18
}