A Rippling-Based Difference Reduction Technique to Automatically Prove Security Protocol Goals - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Juan Carlos López Pimentel, Raul Monroy. A Rippling-Based Difference Reduction Technique to Automatically Prove Security Protocol Goals. In Christian Lemaître, Carlos A. Reyes, Jesus A. González, editors, Advances in Artificial Intelligence - IBERAMIA 2004, 9th Ibero-American Conference on AI, Puebla, México, November 22-26, 2004, Proceedings. Volume 3315 of Lecture Notes in Computer Science, pages 364-374, Springer, 2004. [doi]

This author has not been identified. Look up 'Juan Carlos López Pimentel' in GoogleThis author has not been identified. Look up 'Raul Monroy' in Google

runs on WebDSL