ΕΛ
ENG
Είσοδος
Σύνθετη Αναζήτηση
Αρχική Σελίδα
→
Κεντρική Βιβλιοθήκη Ε.Μ.Π.
→
Ιδρυματικό Αποθετήριο
→
Διπλωματικές Εργασίες
→
Εμφάνιση Τεκμηρίου
HEAL DSpace
Επαλήθευση κρυπτογραφικών πρωτοκόλλων με χρήση της ProVerif και της Verifpal
Αποθετήριο DSpace/Manakin
JavaScript is disabled for your browser. Some features of this site may not work without it.
Επαλήθευση κρυπτογραφικών πρωτοκόλλων με χρήση της ProVerif και της Verifpal
Τίτλος:
Επαλήθευση κρυπτογραφικών πρωτοκόλλων με χρήση της ProVerif και της Verifpal;
Cryptographic protocol verification using ProVerif and Verifpal
Χασάπης, Χρίστος
;
Chasapis, Christos
URI:
https://dspace.lib.ntua.gr/xmlui/handle/123456789/60992
http://dx.doi.org/10.26240/heal.ntua.28688
Εμφάνιση πλήρους εγγραφής
Αρχεία σε αυτό το τεκμήριο
Όνομα:
Διπλωματική Χρίστος ...
Μέγεθος:
698.3Kb
Μορφότυπο:
PDF
Προβολή/
Άνοιγμα
Αυτό το τεκμήριο εμφανίζεται στην ακόλουθη συλλογή(ές)
Διπλωματικές Εργασίες
[18216]
Περιήγηση
Σε όλο το DSpace
Κοινότητες & Συλλογές
Ανά Ημερομηνία Έκδοσης
Συγγραφείς
Τίτλοι
Θέματα
Αυτή η Συλλογή
Ανά Ημερομηνία Έκδοσης
Συγγραφείς
Τίτλοι
Θέματα
Ο Λογαριασμός μου
Σύνδεση
Εγγραφή
Οδηγίες / Βοήθεια
Οδηγίες Υποβολής
Οδηγίες Χρήσης ΙΑ
Συχνές Ερωτήσεις
Οδηγίες Υποβολής - Διπλωματικές Εργασίες
Πολιτικές Πρόσβασης
Σχετικοί Σύνδεσμοι