Cargando…

Foundations of security, protocols, and equational reasoning: essays dedicated to Catherine A. Meadows

Detalles Bibliográficos
Autores principales: Guttman, Joshua D, Landwehr, Carl E, Meseguer, José, Pavlovic, Dusko
Lenguaje:eng
Publicado: Springer International Publishing AG 2019
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2755634