˜Theœ modelling and analysis of security protocols : the CSP approach

˜Theœ modelling and analysis of security protocols the CSP approach

Gespeichert in:
Bibliographische Detailangaben
Weitere Verfasser: Ryan, Peter (BerichterstatterIn), Schneider, Steve (BerichterstatterIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Harlow ; Munich u.a. Addison-Wesley 2001
Ausgabe:1. publ.
Schlagworte:
Mathematisches Modell > Computer network protocols > Computer networks > Security measures > Computer security > Mathematical models > Computer software > Verification > Computers > Access control > Cryptography > Computersicherheit > Kommunikationsprotokoll
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:XIV, 300 S.
Ill.
ISBN:0201674718
0-201-67471-8