The modelling and analysis of security protocols the CSP approach

Bibliographische Detailangaben

Hauptverfasser:	Ryan, Peter (VerfasserIn), Schneider, Steve A. (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Harlow, England <<[u.a.]>> Addison-Wesley 2006
Ausgabe:	Transferred to digital print.
Schlagworte:	Computersicherheit Kommunikationsprotokoll
Online-Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!