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
booktitle = "Foundations of Computer Security (FCS)",
keywords = "formal methods",
year = "2005",