Intruder deduction for the equational theory of Abelian groups with distributive encryption.

Pascal Lafourcade Denis Lugiez Ralf Treinen

Published in: Inf. Comput. (2007)

Keyphrases

theorem proving
general theory
theorem prover
algebraic properties
theoretical framework
security properties
computer algebra
computational model
equational theories
neural network
knowledge base
theoretical foundation
mathematical theory
deductive reasoning
encryption algorithms