Reduction of the Intruder Deduction Problem into Equational Elementary Deduction for Electronic Purse Protocols with Blind Signatures
Keyword(s):
Keyword(s):
1998 ◽
pp. 296-308
◽