Probabilistic Modeling and Analysis of DoS Protection for the ASV Protocol

Musab AlTurki, José Meseguer, Carl A. Gunter. Probabilistic Modeling and Analysis of DoS Protection for the ASV Protocol. Electronic Notes in Theoretical Computer Science, 234:3-18, 2009. [doi]

Abstract

Abstract is missing.