- -

Listar por autor "Erbatur, Serdar"

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

Listar por autor "Erbatur, Serdar"

Ordenar por:Orden:Resultados:

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