Formal modeling and analysis of DoS using probabilistic rewrite theories (2005)

by G Agha, C Gunter, M Greenwald, S Khanna, J Meseguer, K Sen, P Thati
Venue:In Proc. Workshop on Foundations of Computer Security (FCS’05