- -

Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis

Show full item record

Erbatur, S.; Escobar Román, S.; Kapur, D.; Liu, Z.; Lynch, CA.; Meadows, C.; Meseguer, J.... (2013). Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis. En Automated Deduction – CADE-24. Springer. 231-248. doi:10.1007/978-3-642-38574-2_16

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/71830

Files in this item

Item Metadata

Title: Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis
Author:
UPV Unit: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Universitat Politècnica de València. Escola Tècnica Superior d'Enginyeria Informàtica
Issued date:
Abstract:
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 ...[+]
Copyrigths: Reserva de todos los derechos
ISBN: 978-3-642-38573-5
Source:
Automated Deduction – CADE-24. (issn: 0302-9743 )
DOI: 10.1007/978-3-642-38574-2_16
Publisher:
Springer
Publisher version: http://link.springer.com/chapter/10.1007/978-3-642-38574-2_16
Conference name: 24th International Conference on Automated Deduction (CADE - 24)
Conference place: Lake Placid, New York, USA
Conference date: June 9-14, 2013
Series: Lecture Notes in Computer Science;7898
Description: The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-38574-2_16
Type: Capítulo de libro Comunicación en congreso

This item appears in the following Collection(s)

Show full item record