Intruder deduction for the equational theory of Abelian groups with distributive encryption
| Autor: | Lafourcade, Pascal, Lugiez, Denis, Treinen, Ralf |
|---|---|
| Zdroj: | In Information and Computation 2007 205(4):581-623 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Lafourcade, Pascal, Lugiez, Denis, Treinen, Ralf |
|---|---|
| Zdroj: | In Information and Computation 2007 205(4):581-623 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect