- -

Listar por autor "Meadows, Cahterine"

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

Listar por autor "Meadows, Cahterine"

Ordenar por:Orden:Resultados:

  • thumb
    State space reduction in the Maude-NRL Protocol Analyzer 
    Escobar Román, Santiago; Meadows, Cahterine; Meseguer, José; Santiago Pinazo, Sonia (Elsevier, 2014-11)
    The Maude-NRL Protocol Analyzer (Maude-NPA) is a tool and inference system for reasoning about the security of cryptographic protocols in which the cryptosystems satisfy different equational properties. It both extends and ...