DMCA

Abstracting cryptographic protocols with tree automata (1999)

by David Monniaux
Venue:In Proc. 6th SAS
Citations:56 - 0 self