- -

Listar por Patrocinador "University of Illinois at Urbana-Champaign"

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

Listar por Patrocinador "University of Illinois at Urbana-Champaign"

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