Ασφάλεια και Προστασία Λογισμικού
Το μάθημα καλύπτει θεμελιώδεις τεχνικές ανάλυσης προγραμμάτων που βασίζονται σε τύπους και λογικές, με στόχο τον εντοπισμό μη επιτρεπτής συμπεριφοράς, την επαλήθευση της απουσίας της και τη διερεύνηση εργαλείων που υλοποιούν αυτές τις τεχνικές.
Μάθημα που προσφέρεται από
Εκπαιδευτής
Cyrille Valentin Artho
Associate professor
Γλώσσα
English
Μαθησιακοί στόχοι
- Να εξηγούν πτυχές ασφάλειας και προστασίας συστημάτων.
- Να κατασκευάζουν μοντέλα συστημάτων.
- Να προσδιορίζουν και να αναλύουν ιδιότητες ασφάλειας και προστασίας.
- Να εφαρμόζουν αναλυτικά εργαλεία σε συστήματα λογισμικού.
- Να αξιολογούν και να συγκρίνουν διαφορετικές προσεγγίσεις για την επαλήθευση και την επικύρωση συστημάτων λογισμικού.
Προαπαιτούμενα
- Καλές γνώσεις και δεξιότητες στον προγραμματισμό, στις γλώσσες προγραμματισμού και στη σημασιολογία προγραμμάτων. Γνώση λογικής πρώτης τάξης και πεπερασμένων αυτομάτων.
Θέματα που καλύπτονται
FundamentalsOffensive SecuritySecure Development
Ενότητες
Δεν ξέρετε από πού να ξεκινήσετε;
Ανακαλύψτε πώς λειτουργεί η πύλη Cycerone, πώς οργανώνονται τα μαθήματα και οι διαδρομές μάθησης, και πώς να βρείτε τις εκπαιδευτικές ευκαιρίες που ταιριάζουν καλύτερα στις ανάγκες σας.