The Modelling and analysis of security protocols: the CSP approach/
Main Author: | |
---|---|
Other Authors: | , |
Format: | Book |
Language: | English |
Published: |
Harlow, England London:
Addison-Wesley,
c2001
|
Subjects: |
Βιβλιοθήκη | Ταξιθετικός αριθμός | Αριθμός Αντιτύπων | Πληροφορίες | Κατάσταση |
---|---|---|---|---|
Ιόνιο Πανεπιστήμιο | 005.8 MOD | 1 | Προβολή | OPAC |