Reduction of the Intruder Deduction Problem into Equational Elementary Deduction for Electronic Purse Protocols with Blind Signatures.

Daniele Nantes Sobrinho, Mauricio Ayala-Rincn

Browse the full WoLLIC paper archive.