RiuNet repositorio UPV
:
Listar por autor

Buscar en RiuNet

Listar

Todo RiuNet

Mi cuenta

Acceder

Ayuda RiuNet

Admin. UPV

Listar por autor "González Burgueño, Antonio"

Mostrando ítems 1-3 de 3

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 ...
Protocol analysis modulo exclusive-or theories: a case study in Maude-MPA

González Burgueño, Antonio (Universitat Politècnica de València, 2015-06-16)

[EN] Escobar of the Universitat Politècnica de València in collaboration with José Meseguer (University of Illinois at Urbana-Champaign, USA) and Catherine Meadows (Naval Research Lab, Washington, DC, USA). We focus on ...
Verificación automática de protocolos criptográficos de seguridad

González Burgueño, Antonio (Universitat Politècnica de València, 2012-04-24)

Mostrando ítems 1-3 de 3