- -

Listar por palabra clave "Cryptographic protocol verification"

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

Listar por palabra clave "Cryptographic protocol verification"

Ordenar por:Orden:Resultados:

  • thumb
    Protocol analysis modulo combination of theories: A case study in Maude-NPA 
    Sasse, Ralf; Escobar Román, Santiago; Meadows, Catherine; Meseguer, José (Springer Verlag (Germany), 2011)
    There is a growing interest in formal methods and tools to analyze cryptographic protocols modulo algebraic properties of their underlying cryptographic functions. It is well-known that an intruder who uses algebraic ...