Daniele Nantes Sobrinho, Mauricio Ayala-Rincón. Reduction of the Intruder Deduction Problem into Equational Elementary Deduction for Electronic Purse Protocols with Blind Signatures. In Anuj Dawar, Ruy J. G. B. de Queiroz, editors, Logic, Language, Information and Computation, 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings. Volume 6188 of Lecture Notes in Computer Science, pages 218-231, Springer, 2010. [doi]
Abstract is missing.