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]
@inproceedings{LopezM04:0,
title = {A Rippling-Based Difference Reduction Technique to Automatically Prove Security Protocol Goals},
author = {Juan Carlos López Pimentel and Raul Monroy},
year = {2004},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3315&spage=364},
tags = {rule-based, protocol, security},
researchr = {https://researchr.org/publication/LopezM04%3A0},
cites = {0},
citedby = {0},
pages = {364-374},
booktitle = {Advances in Artificial Intelligence - IBERAMIA 2004, 9th Ibero-American Conference on AI, Puebla, México, November 22-26, 2004, Proceedings},
editor = {Christian Lemaître and Carlos A. Reyes and Jesus A. González},
volume = {3315},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-23806-9},
}