Open Systems Laboratory at Illinois

Formal modeling and analysis of dos using probabilistic rewrite theories

By Gul Agha, Carl Gunter, Michael Greenwald, Sanjeev Khanna, Jose Meseguer, Koushik Sen, and Prasanna Thati. In Foundations of Computer Security (FCS). 2005.


    author = "Agha, Gul and Gunter, Carl and Greenwald, Michael and
              Khanna, Sanjeev and Meseguer, Jose and Sen, Koushik and Thati,
    title = "Formal Modeling and Analysis of DoS Using Probabilistic
             Rewrite Theories",
    booktitle = "Foundations of Computer Security (FCS)",
    keywords = "formal methods",
    year = "2005",