Authentication and authorization protocol security property analysis with trace inclusion transformation and online minimization.

Yating Hsu, David Lee

Browse the full ICNP paper archive.