DMCA

A Syntactic Criterion for Injectivity of Authentication Protocols

by C. J. F. Cremersa , S. Mauwa , E. P. Vinka