DMCA

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

by Gul Agha , Michael Greenwald , Carl A. Gunter , Sanjeev Khanna , Jose Meseguer , Koushik Sen , Prasannaa Thati
Venue:in Proc. IEEE Workshop on Foundations of Computer Security
Citations:14 - 8 self