@inproceedings{AlTurkiMG08secret,
  author = {Musab AlTurki 
            and Jos\'{e} Meseguer 
            and Carl A. Gunter},
  title = {Probabilistic Modeling and Analysis of {DoS} Protection for the {ASV} Protocol},
  booktitle = {{SecReT'08}: Proceedings of the 3rd International Workshop on Security and Rewriting Techniques},
  month = {June},
  year = {2008},
  location = {Pittsburgh, PA, USA},
}