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]

Authors

Musab AlTurki

This author has not been identified. Look up 'Musab AlTurki' in Google

José Meseguer

This author has not been identified. It may be one of the following persons: Look up 'José Meseguer' in Google

Carl A. Gunter

This author has not been identified. Look up 'Carl A. Gunter' in Google