Εργαλεία ανάλυσης κρυπτογραφικών πρωτοκόλλων

Τα πρωτόκολλα ασφάλειας στηρίζονται στην εφαρμογή και το συνδυασμό κρυπτογραφικών πρωτοκόλλων. Παρόλο που η ανάλυση των ιδιοτήτων ασφάλειας που προσφέρουν απαιτεί τη λεπτομερή ανάλυση των πρωτοκόλλων κρυπτογραφίας και τη φορμαλιστική απόδειξη αυτών των ιδιοτήτων, σε πολλές περιπτώσεις τα πρωτόκολλα κρυπτογραφίας αποδεικνύονται ευάλωτα σε επιθέσεις ασφάλειας. Προς αυτή την κατεύθυνση έχουν αναπτυχθεί διάφορα εργαλεία ανάλυσης της ασφάλειας των κρυπτογραφικών πρωτοκόλλων. Σε αυτή την παρουσίαση θα γίνει μία σύντομη περιγραφή γνωστών μεθοδολογιών ανάλυσης κρυπτογραφικών πρωτοκόλλων, καθώς και ορισμένων εργαλείων, ενώ θα γίνει μία σύντομη επίδειξη του εργαλείου Scyhter.