%0 Journal Article %1 journals/iandc/LafourcadeLT07 %A Lafourcade, Pascal %A Lugiez, Denis %A Treinen, Ralf %D 2007 %J Inf. Comput. %K %N 4 %P 581-623 %T Intruder deduction for the equational theory of Abelian groups with distributive encryption. %U http://dblp.uni-trier.de/db/journals/iandc/iandc205.html#LafourcadeLT07 %V 205

@article{journals/iandc/LafourcadeLT07, added-at = {2023-12-13T02:16:14.000+0100}, author = {Lafourcade, Pascal and Lugiez, Denis and Treinen, Ralf}, biburl = {https://www.bibsonomy.org/bibtex/2067d86baf9da6a89af559f7d2e5a60df/admin}, ee = {https://doi.org/10.1016/j.ic.2006.10.008}, interhash = {7d07cc921cac14a5c4f0ddcfc67e91d6}, intrahash = {067d86baf9da6a89af559f7d2e5a60df}, journal = {Inf. Comput.}, keywords = {}, number = 4, pages = {581-623}, timestamp = {2023-12-13T02:16:14.000+0100}, title = {Intruder deduction for the equational theory of Abelian groups with distributive encryption.}, url = {http://dblp.uni-trier.de/db/journals/iandc/iandc205.html#LafourcadeLT07}, volume = 205, year = 2007 }