Secure transaction protocol analysis : models and applications

Secure transaction protocol analysis models and applications

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Chen, Qingfeng (VerfasserIn)
Weitere Verfasser: Zhang, Chengqi (VerfasserIn), Zhang, Shichao (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Berlin, Heidelberg u.a. Springer 2008
Schriftenreihe:Lecture notes in computer science 5111
Schlagworte:
Computer network protocols > Computer networks > Security measures > Electronic commerce > Sicherheitsprotokoll > Formale Methode > Electronic Commerce > Datensicherung
Online Zugang:Inhaltsverzeichnis
Cover
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:XI, 234 S.
graph. Darst.
235 mm x 155 mm
ISBN:3540850732
3-540-85073-2
9783540850731
978-3-540-85073-1