|
|||||
|
|
Intruder deduction for the equational theory of Abelian groups with distributive encryption |
|
| Affiliation: | 1. LIF, Université Aix-Marseille 1 & CNRS UMR 6166, 39 rue Joliot Curie, 13013 Marseille Cedex, France;2. LSV, ENS de Cachan & CNRS UMR 8643 & INRIA Futurs project SECSI, 61 Avenue du Président Wilson, 94235 Cachan Cede, France |
| Abstract: | |
| Keywords: | |
| 本文献已被 ScienceDirect 等数据库收录！ | |