Computing knowledge in security protocols under convergent equational theories. (2009)

by Stefan Ciobaca, Stephanie Delaune, Steve Kremer
Venue:In CADE’09: Proceedings of the 22nd International Conference on Automated Deduction, Lecture Notes in Artificial Intelligence,