Loading Events

« All Events

  • This event has passed.

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

April 16 @ 17:00 - 17:30

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

Details

Date:
April 16
Time:
17:00 - 17:30
Event Tags:
,

Venue

Αμφιθέατρο 001

Organizer

Παναγιώτης Κοτζανικολάου