- -

Listar por palabra clave "Security Application Programming Interfaces (security APIs)"

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

Listar por palabra clave "Security Application Programming Interfaces (security APIs)"

Ordenar por:Orden:Resultados:

  • thumb
    Analysis of the IBM CCA Security API Protocols in Maude-NPA 
    González Burgueño, Antonio; Santiago Pinazo, Sonia; Escobar Román, Santiago; Meadows, Catherine; Meseguer, Jose (Springer International Publishing, 2014)
    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 ...