- -

Listar por autor "Santiago Pinazo, Sonia"

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

Listar por autor "Santiago Pinazo, Sonia"

Ordenar por:Orden:Resultados:

  • thumb
    Advanced Features in Protocol Verification: Theory, Properties, and Efficiency in Maude-NPA 
    Santiago Pinazo, Sonia (Universitat Politècnica de València, 2015-03-31)
    The area of formal analysis of cryptographic protocols has been an active one since the mid 80’s. The idea is to verify communication protocols that use encryption to guarantee secrecy and that use authentication of data ...
  • thumb
    Analysis of the IBM CCA Security API Protocols in Maude-NPA 
    González Burgueño, Antonio; Santiago Pinazo, Sonia; Escobar Román, Santiago; Meadows, Catherine; Meseguer, Jose (Springer International Publishing, 2014)
    Standards for cryptographic protocols have long been attractive candidates for formal verification. It is important that such standards be correct, and cryptographic protocols are tricky to design and subject to ...
  • thumb
    Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis 
    Erbatur, Serdar; Escobar Román, Santiago; Kapur, Deepak; Liu, Zhiqiang; Lynch, Christopher A.; Meadows, Catherine; Meseguer, José; Narendran, Paliath; Santiago Pinazo, Sonia; Sasse, Ralf (Springer, 2013)
    We present a new paradigm for unification arising out of a technique commonly used in cryptographic protocol analysis tools that employ unification modulo equational theories. This paradigm relies on: (i) a decomposition ...
  • thumb
    Effective symbolic protocol analysis via equational irreducibility conditions 
    Erbatur, Serdar; Escobar Román, Santiago; Kapur, Deepak; Liu, Zhiqiang; Lynch, Christopher; Meadows, Catherine; Meseguer, José; Narendran, Paliath; Santiago Pinazo, Sonia; Sasse, Ralf (Springer Verlag (Germany), 2012)
    We address a problem that arises in cryptographic protocol analysis when the equational properties of the cryptosystem are taken into account: in many situations it is necessary to guarantee that certain terms generated ...
  • thumb
    Sequential protocol composition in Maude-NPA 
    Santiago Pinazo, Sonia (Universitat Politècnica de València, 2011-12-13)
    Protocols do not work alone, but together, one protocol relying on another to provide needed services. Many of the problems in cryptographic protocols arise when such composition is done incorrectly or is not well understood. ...
  • 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 ...