Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties

Autores UPV	Escobar Román Santiago
Año	2009
Libro	Foundations of Security Analysis and Design V

Más información

Rellena este formulario y nos pondremos en contacto contigo.

Nombre (campo obligatorio):

Correo electrónico (campo obligatorio):

Teléfono (opcional):

Formule su consulta (campo obligatorio):

** Le informamos que los datos de carácter personal que Vd. ha facilitado serán incorporados al fichero de Oferta Tecnológica de la Universidad Politécnica de Valencia destinado a dar respuesta a su consulta. Podrá ejercitar los derechos de acceso, rectificación, cancelación y oposición en relación con sus datos ante la Universidad Politécnica de Valencia, Camino de Vera s/n, 46022 Valencia.