The faithfulness of abstract protocol analysis: message authentication.

Joshua D. Guttman F. Javier Thayer Lenore D. Zuck

Published in: CCS (2001)

Keyphrases

data analysis
statistical analysis
formal analysis
key distribution