- -

Listar por palabra clave "Maude-PSL"

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

Listar por palabra clave "Maude-PSL"

Ordenar por:Orden:Resultados:

  • 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 ...