Protocol Analysis with Time and Space

Resumen:

Protocols, Strands, and LogicPages: 22-49Year: 2021DOI: https://doi.org/10.1007/978-3-030-91631-2

Palabras Clave:

cryptographic - Maude-npa - process algebra - protocol - SMT - space - time

Autor(es):

• Damian Aparicio Sanchez {daapsnc@upv.es}
  Universitat politècnica de València - Spain
  
• Santiago Escobar {sescobar@upv.es}
  Universitat politècnica de València - Spain
  
• Catherine Meadows {meadows@itd.nrl.navy.mil}
  Naval Research Laboratory - United States
  
• Julia Sapiña {jsapina@upv.es}
  Universitat politècnica de València - Spain
  
• Jose Meseguer {meseguer@illinois.edu}
  University of Illinois at Urbana-Champaign - United States
  

Handle:

11705/PROLE/2022/009

Descargas:

Acceso a los detalles haciendo click aquí.