- -

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

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

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

Show full item record

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. doi:10.1007/978-3-319-14054-4_8

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

Files in this item

Item Metadata

Title: Analysis of the IBM CCA Security API Protocols in Maude-NPA
Author:
Editor: Springer Lecture Notes in Computer Science, Vol. 8893
UPV Unit: Universitat Politècnica de València. Grupo de Extensiones de la Programación Lógica (ELP)
Issued date:
Abstract:
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 ...[+]
Subjects: IBM 4758 common cryptographic architecture , Security Application Programming Interfaces (security APIs) , Symbolic cryptographic protocol analysis , Automatic reasoning modulo XOR theory
Copyrigths: Reserva de todos los derechos
ISBN: 978-3-319-14054-4 978-3-319-14053-7
Source:
Security Standardisation Research. (issn: 0302-9743 )
DOI: 10.1007/978-3-319-14054-4_8
Publisher:
Springer International Publishing
Publisher version: https://doi.org/10.1007/978-3-319-14054-4_8
Conference name: 1st International Conference on Research in Security Standardisation (SSR 2014)
Conference place: London, UK
Conference date: 2014-12-16
Series: Lecture Notes in Computer Science;8893
Type: Capítulo de libro Comunicación en congreso

This item appears in the following Collection(s)

Show full item record