Número de Cutter-SanbornC829fEntrada «Corti» → 829 · marca de obra “f”

Formal Models and Techniques for Analyzing Security Protocols

Name: Formal Models and Techniques for Analyzing Security Protocols
ISBN: 9781601989024

A Tutorial

Autor	Véronique Cortier, Steve Kremer
Editorial	Now Publishers
Fecha de publicación	2014
Idioma	inglés
ISBN-13	9781601989024
Número de Cutter	`C829f`

Formal Models and Techniques for Analyzing Security Protocols (2014) — ISBN 9781601989024 | Cutter Number