Formal correctness of security protocols /
Πρώτος συγγραφέας: | Bella, Giampaolo |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Άλλες Λεπτομέρειες Έκδοσης: |
Berlin :,
Springer,,
c2007.
|
Σειρά: |
Information security and cryptography
|
Θέματα/Λέξεις Κλειδιά: |
University of Macedonia Library: Βιβλιοστάσιο Α (Stack Room A)
Ταξινομικός #: |
TK5105.59.B45 2007 |
---|---|
Συλλογή: |
Main Collection |
Αντίγραφο 1 | Διαθέσιμο |