Homomorphisms and Minimality for Enrich-by-Need Security Analysis

Daniel J. Dougherty, Joshua D. Guttman, John D. Ramsdell

Cryptographic protocols are used in different environments, but existing methods for protocol analysis focus only on the protocols, without being sensitive to assumptions about the…