Login / Signup
Reduction of the Intruder Deduction Problem into Equational Elementary Deduction for Electronic Purse Protocols with Blind Signatures.
Daniele Nantes Sobrinho
Mauricio Ayala-Rincón
Published in:
WoLLIC (2010)
Keyphrases
</>
theorem proving
inference rules
theorem prover
automated deduction
automated theorem proving
anti unification
database
proof procedure
equational theories
deductive reasoning
signature verification
reduction method
electronic commerce
rough sets
case study
data mining
neural network
databases