The Modelling and analysis of security protocols: the CSP approach/

Main Author: RYAN, Peter
Other Authors: LOWE, G., ROSCOE, A. W.
Format: Book
Language:English
Published: Harlow, England London: Addison-Wesley, c2001
Subjects:
ΒιβλιοθήκηΤαξιθετικός αριθμόςΑριθμός ΑντιτύπωνΠληροφορίεςΚατάσταση
Ιόνιο Πανεπιστήμιο005.8 MOD1ΠροβολήOPAC