Formal models and techniques for analyzing security protocols
a tutorial
Gespeichert in:
Verfasser / Beitragende:
Véronique Cortier, Steve Kremer
Ort, Verlag, Jahr:
Hanover, Massachusetts :
Now Publishers,
2014
Beschreibung:
x, 123 Seiten : Illustrationen
Format:
Buch
Online Zugang: