Γκόλφη, Αναστασία Α.; Gkolfi, Anastasia A.
(2011-07-22)
Αυτή η διπλωματική αφορά μία εφαρμογή της Protocol Composition Logic (PCL) στο
πρωτόκολλο Secure Remote Password (SRP) προκειμένου να καταστεί δυνατή η
απόδειξη των ιδιοτήτων ασφαλείας του. Το SRP είναι ένα πρωτόκολλο ...