Área de conocimientoPeriodo de publicación recogido
|
|
|
Formal verification of the YubiKey and YubiHSM APIs in Maude-NPA
Antonio González Burgueño, Damián Aparicio Sánchez, Santiago Escobar, Catherine Meadows, Jose Meseguer
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
Santiago Escobar, Catherine Meadows, Jose Meseguer
Actas de las Cuartas Jornadas Nacionales de Investigación en Ciberseguridad / Urko Zurutuza Ortega (ed. lit.), Mikel Iturbe Urretxa (ed. lit.), Enaitz Ezpeleta Gallastegui (ed. lit.), Iñaki Garitano Garitano (ed. lit.), 2018, ISBN 9788409026975, págs. 103-104
A graphical user interface for Maude-NPA
Sonia Santiago, Carolyn Talcott, Santiago Escobar Román, Catherine Meadows, José Meseguer Guaita
Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE'09, I Taller de Programación Funcional, TPF'09, San Sebastián, España, del 8 al 11 de septiembre de 2009 / Paqui Lucio (ed. lit.), Ginés Damián Moreno Valverde (ed. lit.), Ricardo Peña Marí (ed. lit.), 2009, ISBN 978-84-692-4600-9, págs. 185-200
Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Dialnet. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.
© 2001-2024 Fundación Dialnet · Todos los derechos reservados