- -

Effective symbolic protocol analysis via equational irreducibility conditions

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

Compartir/Enviar a

Citas

Estadísticas

Effective symbolic protocol analysis via equational irreducibility conditions

Mostrar el registro completo del ítem

Erbatur, S.; Escobar Román, S.; Kapur, D.; Liu, Z.; Lynch, C.; Meadows, C.; Meseguer, J.... (2012). Effective symbolic protocol analysis via equational irreducibility conditions. En Computer Security - ESORICS 2012. Springer Verlag (Germany). 7459:73-90. doi:10.1007/978-3-642-33167-1_5.

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

Ficheros en el ítem

Metadatos del ítem

Título: Effective symbolic protocol analysis via equational irreducibility conditions
Autor:
Entidad UPV: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
Fecha difusión:
Resumen:
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 ...[+]
Palabras clave: Systems and data security , Data encryption
Derechos de uso: Reserva de todos los derechos
ISBN: 978-3-642-33166-4
Fuente:
Computer Security - ESORICS 2012. (issn: 0302-9743 )
DOI: 10.1007/978-3-642-33167-1_5
Editorial:
Springer Verlag (Germany)
Versión del editor: http://link.springer.com/chapter/10.1007/978-3-642-33167-1_5
Título del congreso: 17th European Symposium on Research in Computer Security 2012
Lugar del congreso: Pisa, Italy
Fecha congreso: September 10-12, 2012
Serie: Lecture Notes in Computer Science;vol. 7459
Patrocinador:
FEDER and MEC/MICINN [TIN 2010-21062-C02-02]
Generalitat Valenciana [PROMETEO 2011/052]
NSF [CCF 09-05584][CNS 09-04749][CNS 09-05584][CNS 09-05222][CNS 09-05378][CNS 09-05286]
Tipo: Capítulo de libro

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro completo del ítem