Su búsqueda retornó 2 resultados.

Resultados
	1.	Operational Semantics and Verification of Security Protocols / by Cas Cremers, Sjouke Mauw. por Cremers, Cas [autor] Mauw, Sjouke [autor] SpringerLink (Servicio en línea) Series Information Security and Cryptography Tipo de material: Texto; Formato: disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012 Acceso en línea: Conectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL) Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)
	2.	Security and trust management : 10th international workshop, stm 2014, wroclaw, poland, september 10-11, 2014. Proceedings / edited by Sjouke Mauw, Christian Damsgaard Jensen. por Mauw, Sjouke [editor.] Jensen, Christian Damsgaard [editor.] SpringerLink (Servicio en línea) Series Lecture Notes in Computer Science ; 8743 Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Springer, 2014 Acceso en línea: Conectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL) Disponibilidad: No hay ítems disponibles. Agregar al carrito (remover)

Refinar su búsqueda