- -

Protocol analysis modulo combination of theories: A case study in Maude-NPA

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

Compartir/Enviar a

Citas

Estadísticas

Protocol analysis modulo combination of theories: A case study in Maude-NPA

Mostrar el registro completo del ítem

Sasse, R.; Escobar Román, S.; Meadows, C.; Meseguer, J. (2011). Protocol analysis modulo combination of theories: A case study in Maude-NPA. En Security and Trust Management. Springer Verlag (Germany). 6710:163-178. doi:10.1007/978-3-642-22444-7_11.

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

Ficheros en el ítem

Metadatos del ítem

Título: Protocol analysis modulo combination of theories: A case study in Maude-NPA
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:
There is a growing interest in formal methods and tools to analyze cryptographic protocols modulo algebraic properties of their underlying cryptographic functions. It is well-known that an intruder who uses algebraic ...[+]
Palabras clave: Cryptographic protocol verification , Equational unification , Exclusive or , Narrowing , Variants
Derechos de uso: Reserva de todos los derechos
ISBN: 978-3-642-22443-0
Fuente:
Security and Trust Management. (issn: 0302-9743 )
DOI: 10.1007/978-3-642-22444-7_11
Editorial:
Springer Verlag (Germany)
Versión del editor: http://link.springer.com/chapter/10.1007/978-3-642-22444-7_11
Título del congreso: 6th International Workshop, STM 2010
Lugar del congreso: Athens, Greece
Fecha congreso: September 23-24, 2010
Serie: Lecture Notes in Computer Science;vol. 6710
Patrocinador:
NSF [CNS-0716638, CNS-0831064 and CNS-0904749]
EU (FEDER) and Spanish MEC/MICINN [TIN 2007-68093-C02-02]
Tipo: Capítulo de libro

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

Mostrar el registro completo del ítem