Get This : Formal models and techniques for analyzing security protocols [electronic resource] / edited by Véronique Cortier and Steve Kremer.

Title : Formal models and techniques for analyzing security protocols [electronic resource] / edited by Véronique Cortier and Steve Kremer.

Call Number : No call number

Status : Unknown