- -

Analysis of the IBM CCA Security API Protocols in Maude-NPA

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

Compartir/Enviar a

Citas

Estadísticas

Analysis of the IBM CCA Security API Protocols in Maude-NPA

Mostrar el registro completo del ítem

Gonzalez Burgueño, A.; Santiago Pinazo, S.; Escobar Román, S.; Meadows, C.; Meseguer, J. (2014). Analysis of the IBM CCA Security API Protocols in Maude-NPA. En Security Standardisation Research. Springer International Publishing. 111-130. http://hdl.handle.net/10251/65130.

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

Ficheros en el ítem

Metadatos del ítem

Título: Analysis of the IBM CCA Security API Protocols in Maude-NPA
Autor:
Editor: Springer Lecture Notes in Computer Science, Vol. 8893
Entidad UPV: Universitat Politècnica de València. Grupo de Extensiones de la Programación Lógica (ELP)
Fecha difusión:
Resumen:
Standards for cryptographic protocols have long been attractive candidates for formal verification. It is important that such standards be correct, and cryptographic protocols are tricky to design and subject to ...[+]
Palabras clave: IBM 4758 common cryptographic architecture , Security Application Programming Interfaces (security APIs) , Symbolic cryptographic protocol analysis , Automatic reasoning modulo XOR theory
Derechos de uso: Reserva de todos los derechos
ISBN: 978-3-319-14054-4 978-3-319-14053-7
Fuente:
Security Standardisation Research. (issn: 0302-9743 )
Editorial:
Springer International Publishing
Versión del editor: http://link.springer.com/chapter/10.1007/978-3-319-14054-4_8
Título del congreso: 1st International Conference on Research in Security Standardisation (SSR 2014)
Lugar del congreso: London, UK
Fecha congreso: 2014-12-16
Serie: Lecture Notes in Computer Science;8893
Patrocinador:
FEDER funds
Spanish MINECO [TIN 2010-21062-C02-02; TIN 2013-45732-C4-1-P]
Generalitat Valenciana [PROMETEO 2011/052]
NSF [CNS 13-10109]
Tipo: Capítulo de libro Comunicación en congreso

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

Mostrar el registro completo del ítem