1 - Protocol Analysis with Time and Space
Protocols, Strands, and LogicPages: 22-49Year: 2021DOI: https://doi.org/10.1007/978-3-030-91631-2
Autores: Damian Aparicio Sanchez / Santiago Escobar / Catherine Meadows / Julia Sapiña / Jose Meseguer /
Palabras Clave: cryptographic - Maude-npa - process algebra - protocol - SMT - space - time