Formal models and techniques for analyzing security protocols

a tutorial

Verfasser / Beitragende:
Véronique Cortier, Steve Kremer
Ort, Verlag, Jahr:
Hanover, Massachusetts : Now Publishers, 2014
Beschreibung:
x, 123 Seiten : Illustrationen
Format:
Buch
ID: 357602463