- -

Listar por autor "Meadows, Catherine"

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

Listar por autor "Meadows, Catherine"

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 ...
  • thumb
    Protocol Analysis with Time 
    Aparicio-Sánchez, Damián; Escobar Román, Santiago; Meadows, Catherine; Meseguer, José; Sapiña-Sanchis, Julia (Springer, 2020-12-16)
    [EN] We present a framework suited to the analysis of cryptographic protocols that make use of time in their execution. We provide a process algebra syntax that makes time information available to processes, and a transition ...