Unification modulo a partial theory of exponentiationReportar como inadecuado



 Unification modulo a partial theory of exponentiation


Unification modulo a partial theory of exponentiation - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

Descargar gratis o leer online en formato PDF el libro: Unification modulo a partial theory of exponentiation
Modular exponentiation is a common mathematical operation in modern cryptography. This, along with modular multiplication at the base and exponent levels to different moduli plays an important role in a large number of key agreement protocols. In our earlier work, we gave many decidability as well as undecidability results for multiple equational theories, involving various properties of modular exponentiation. Here, we consider a partial subtheory focussing only on exponentiation and multiplication operators. Two main results are proved. The first result is positive, namely, that the unification problem for the above theory in which no additional property is assumed of the multiplication operators is decidable. The second result is negative: if we assume that the two multiplication operators belong to two different abelian groups, then the unification problem becomes undecidable.



Autor: Deepak Kapur; Andrew Marshall; Paliath Narendran

Fuente: https://archive.org/







Documentos relacionados