Verification of Resistance of Denial of Service Attacks in Extended Applied Pi Calculus with ProVerif.

Published in: J. Comput. (2012)

Keyphrases