Holdings: Formal correctness of security protocols /

Main Author:	Bella, Giampaolo
Format:	Book
Language:	English
Published:	Berlin : Springer, c2007.
Subjects:	Computer networks > Security measures

Βιβλιοθήκη	Ταξιθετικός αριθμός	Αριθμός Αντιτύπων	Πληροφορίες	Κατάσταση
Πανεπιστήμιο Μακεδονίας	TK5105.59.B45 2007	1	Προβολή	OPAC