Παρακαλώ χρησιμοποιήστε αυτό το αναγνωριστικό για να παραπέμψετε ή να δημιουργήσετε σύνδεσμο προς αυτό το τεκμήριο: http://artemis.cslab.ece.ntua.gr:8080/jspui/handle/123456789/17003
Πλήρες αρχείο μεταδεδομένων
Πεδίο DC ΤιμήΓλώσσα
dc.contributor.authorΝικόλαος Γιανναράκης
dc.date.accessioned2018-07-23T19:42:44Z-
dc.date.available2018-07-23T19:42:44Z-
dc.date.issued2014-9-9
dc.date.submitted2014-9-8
dc.identifier.urihttp://artemis-new.cslab.ece.ntua.gr:8080/jspui/handle/123456789/17003-
dc.description.abstractΜια ευρεία γκάμα επιθέσεων λογισμικού προσπαθούν να ανακτήσουν τονέλεγχο ροής του προγραμμάτος με σκοπό να τροποποιήσουν τησυμπεριφορά του. Η Ακεραιότητα Ελέγχου-Ροής είναι μία αποτελεσματικήπολιτική ασφαλείας, που μπορεί να αποτρέψει όλες τις επιθέσεις πουεπιχειρούν να παρακάμψουν την αρχική ροή ελέγχου του προγράμματος. Σε αυτή τη διπλωματική εργασία, χρησιμοποιούμε το εργαλείοδιαδραστικών αποδείξεων Coq για να αιτιολογήσουμε τυπικά τηνορθότητα και την αποτελεσματικότητα ενός δυναμικού ελεγκτή πουεπιβάλλει Ακεραιότητα Ελέγχου-Ροής, βασιζόμενος σε ένα καινοτόμομηχανισμό ασφαλείας που χρησιμοποιεί λογισμικί και υλικό.Συγκεκριμένα, αποδεικνύομε οτι ο μηχανι-σμός επιβάλλει ΑκεραιότηταΕλέγχου-Ροής ακόμα και υπό την παρουσία ενός ισχυρού κακό-βουλουχρήστη. Επιπλέον αποδεικνύουμε μέσω εκκαθάρισης ότι ένα μηχάνημα στοοποίο τρέχει ο δυναμικός ελεγκτής για την Ακεραιότητα Ελέγχου-Ροής,επακριβώς εξομοιώνει όλες τις συμπεριφορές ενός αφηρημένουμηχανήματος που έχει Ακεραιότητα Ελέγχου-Ροής εκ κατασκευής.
dc.languageEnglish
dc.subjectροή-ελέγχου
dc.subjectασφάλεια
dc.subjectεπαλήθευση
dc.subjectαρχιτεκτονικές με ετικέτες
dc.titleΤυπική Επαλήθευση Επιβολής Ακεραιότητας Ροής-ελέγχου Με Ετικέτες
dc.typeDiploma Thesis
dc.description.pages70
dc.contributor.supervisorΠαπασπύρου Νικόλαος
dc.departmentΤομέας Τεχνολογίας Πληροφορικής & Υπολογιστών
dc.organizationΕΜΠ, Τμήμα Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών
Εμφανίζεται στις συλλογές:Διπλωματικές Εργασίες - Theses

Αρχεία σε αυτό το τεκμήριο:
Αρχείο ΜέγεθοςΜορφότυπος 
DT2014-0243.pdf310.61 kBAdobe PDFΕμφάνιση/Άνοιγμα


Όλα τα τεκμήρια του δικτυακού τόπου προστατεύονται από πνευματικά δικαιώματα.