- -

Browsing by Author "Meadows, Catherine"

RiuNet: Institutional repository of the Polithecnic University of Valencia

Browsing by Author "Meadows, Catherine"

Sort by: Order: Results:

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