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

Pascal Lafourcade Denis Lugiez Ralf Treinen Intruder deduction for the equational theory of Abelian groups with distributive encryption. 581-623 2007 205 Inf. Comput. 4 http://dx.doi.org/10.1016/j.ic.2006.10.008 db/journals/iandc/iandc205.html#LafourcadeLT07