Formal correctness of security protocols /

Κύριος συγγραφέας: Bella, Giampaolo.
Μορφή: Βιβλίο
Γλώσσα: English
Στοιχεία έκδοσης: Berlin : Springer, 2007.
Σειρά: Information security and cryptography.
Ταξινομικός αριθμός: 005.8 BEL
Θέματα:
Ετικέτες: Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
Φυσική περιγραφή: xviii, 274 σ. ; 24 εκ.
Βιβλιογραφία: Περιέχει βιβλιογραφικές αναφορές.
ISBN: 9783540681342