Formal verification of the YubiKey and YubiHSM APIs in Maude-NPA

• Autores: Antonio González Burgueño, Damián Aparicio Sánchez, Santiago Escobar, Catherine Meadows, Jose Meseguer
• Localización: Actas de las V Jornadas Nacionales de Ciberseguridad: junio 5-7, 2019. Cáceres / coord. por Andrés Caro Lindo, Luis Javier García Villalba, Ana Lucila Sandoval Orozco, 2019, ISBN 978-84-09-12121-2, págs. 314-315
• Idioma: inglés
• Enlaces
  • Texto Completo Libro