Please use this identifier to cite or link to this item:
http://dspace.lib.uom.gr/handle/2159/16144
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Μαυρίδης, Ιωάννης | el |
dc.contributor.author | Σαλονικιάς, Σταύρος | el |
dc.date.accessioned | 2014-05-02T10:25:21Z | - |
dc.date.available | 2014-05-02T10:25:21Z | - |
dc.date.issued | 2013 | el |
dc.identifier.uri | http://dspace.lib.uom.gr/handle/2159/16144 | - |
dc.description | Διπλωματική εργασία-Πανεπιστήμιο Μακεδονίας, Θεσσαλονίκη, 2013. | el |
dc.description.abstract | Ο έλεγχος προσπέλασης (ΕΠ) εισάγει σημαντικά ζητήματα ασφάλειας, κυρίως λόγω της πολυπλοκότητας των σύγχρονων πληροφοριακών συστημάτων. Ένα σύστημα ΕΠ θεωρείται ασφαλές αν το μοντέλο στο οποίο βασίζεται είναι ασφαλές και υλοποιείται σωστά από τους κατάλληλους μηχανισμούς. Για το σκοπό αυτό, θα πρέπει κατά την ανάπτυξη ενός συστήματος ΕΠ να γίνεται επιβεβαίωση βασικών ιδιοτήτων στη βάση ενός μοντέλου. Στη διεθνή βιβλιογραφία έχουν παρουσιαστεί αρκετές προτάσεις για την αυτόματη επιβεβαίωση συστημάτων ΕΠ με διάφορες τεχνικές, ως αποτέλεσμα της ανάγκης για περισσότερη εκφραστικότητα ή καλύτερη απόδοση. Μερικές από αυτές χρησιμοποιούν εργαλεία μοντελοποίησης και επιβεβαίωσης στη βάση τυπικών γλωσσών, όπως η δηλωτική γλώσσα Alloy, η οποία σχεδιάστηκε και αναπτύχθηκε στο MIT με σκοπό τη φορμαλιστική περιγραφή αφαιρέσεων (abstractions) στο σχεδιασμό λογισμικού. Στο πλαίσιο της εργασίας αυτής και με βάση τη διεθνή βιβλιογραφία μελετώνται σχετικές προσεγγίσεις για τη μοντελοποίηση (modeling) κι επιβεβαίωση (verification) συστημάτων ΕΠ, με έμφαση σε αυτά που υλοποιούν τον βασισμένο σε ρόλους έλεγχο προσπέλασης (RBAC). Αρχικά, γίνεται μια σύντομη παρουσίαση της γλώσσας τυπικών προδιαγραφών Alloy και του συστήματος Ελέγχου Προσπέλασης που βασίζεται σε Ρόλους (Role-Based Access Control – RBAC). Στη συνέχεια εφαρμόζεται η γλώσσα τυπικών προδιαγραφών Alloy στη μοντελοποίηση του RBAC και την επιβεβαίωση (verification) του μοντέλου. Τέλος, παρατίθενται με αναφορές στη διεθνή βιβλιογραφία, σχετικές προσπάθειες επικύρωσης πολιτικών ελέγχου πρόσβασης που βασίζονται στο μοντέλο RBAC με χρήση μοντέλου εκφρασμένου σε Alloy. | el |
dc.format.extent | 69 | el |
dc.format.extent | 1509881 bytes | - |
dc.format.mimetype | application/pdf | - |
dc.language.iso | el | en |
dc.publisher | Πανεπιστήμιο Μακεδονίας | el |
dc.subject | Alloy | en |
dc.subject | Alloy analyzer | en |
dc.subject | RBAC | en |
dc.subject | Μοντελοποίηση | el |
dc.subject | Τυπικές προδιαγραφές | el |
dc.subject | Επιβεβαίωση | el |
dc.subject | Επικύρωση | el |
dc.title | Μοντελοποίηση κι επιβεβαίωση ελέγχου πρόσβασης με Alloy. | el |
dc.type | Electronic Thesis or Dissertation | en |
dc.type | Text | en |
dc.contributor.department | Πρόγραμμα Μεταπτυχιακών Σπουδών Ειδίκευσης στην Εφαρμοσμένη Πληροφορική | el |
Appears in Collections: | Π.Μ.Σ. στην Εφαρμοσμένη Πληροφορική (M) |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
SalonikiasStaurosMsc2013.pdf | 1.46 MB | Adobe PDF | View/Open |
Items in Psepheda are protected by copyright, with all rights reserved, unless otherwise indicated.