@InProceedings{AghaGGKMST05, author = {Gul Agha and Michael Greenwald and Carl A. Gunter and Sanjeev Khanna and Jose Meseguer and Koushik Sen and Prasannaa Thati}, title = {Formal Modeling and Analysis of DoS Using Probabilistic Rewrite Theories}, booktitle = {Foundations of Computer Security ({FCS} '05)}, year = 2005, month = {June}, address = {Chicago, IL}, organization = {IEEE} }