- -

Listar por palabra clave "Data encryption"

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Listar por palabra clave "Data encryption"

Ordenar por:Orden:Resultados:

  • thumb
    Effective symbolic protocol analysis via equational irreducibility conditions 
    Erbatur, Serdar; Escobar Román, Santiago; Kapur, Deepak; Liu, Zhiqiang; Lynch, Christopher; Meadows, Catherine; Meseguer, José; Narendran, Paliath; Santiago Pinazo, Sonia; Sasse, Ralf (Springer Verlag (Germany), 2012)
    We address a problem that arises in cryptographic protocol analysis when the equational properties of the cryptosystem are taken into account: in many situations it is necessary to guarantee that certain terms generated ...
  • thumb
    Implementación de seguridad en una aplicación globalizada utilizando herramientas de Azure 
    Penadés Cervelló, José Andrés (Universitat Politècnica de València, 2024-09-02)
    [ES] Este Trabajo de Fin de Grado se centra en el diseño y la implementación de una metodología de seguridad integral para aplicaciones en la nube, utilizando las herramientas de seguridad avanzadas que ofrece Microsoft ...