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

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]

Abstract

Abstract is missing.