- -

Listar por palabra clave "Protocolo criptográfico"

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

Listar por palabra clave "Protocolo criptográfico"

Ordenar por:Orden:Resultados:

  • Icon
    Automation of Timed Processes in Maude-NPA using Maude 
    Aldama Medina, Claudia Daniela (Universitat Politècnica de València, 2021-10-07)
    [ES] El desarrollo de este trabajo fin de grado tiene como objetivo automatizar el modelado de un protocolo con tiempo real en Maude-NPA. Se define una sintaxis nueva para procesos con tiempo junto con transformaciones ...
  • thumb
    Implementación de una interfaz gráfica para Maude-NPA 
    Aparicio Sánchez, Damián (Universitat Politècnica de València, 2016-09-30)
    [ES] Maude-NPA es una herramienta de verificación de protocolos criptográficos desarrollada por la University of Illinois at Urbana- Champaign (EE.UU.), el Navy Research Laboratory en Washington D.C. (EE.UU.) y la ...