Ασφάλεια Πληροφοριακών και Επικοινωνιακών Συστημάτων

Transcript

1 Πανεπιστήμιο Αιγαίου Τμήμα μηχανικών πληροφοριακών & επικοινωνιακών συστημάτων Ασφάλεια πληροφοριακών & επικοινωνιακών συστημάτων Ασφάλεια Πληροφοριακών και Επικοινωνιακών Συστημάτων Έλεγχος Πρόσβασης 15/1/2012 1

2 Εννοιολογική Θεμελίωση 1(5) Ο όρος προσπέλαση υποδηλώνει ότι υπάρχει κάποιο υποκείμενο που προσπαθεί να προσπελάσει κάποιο αντικείμενο αξιοποιώντας κάποια λειτουργία προσπέλασης που προσφέρει το υπολογιστικό σύστημα. Υποκείμενο Αίτηση Προσπέλασης Ελεγκτής Αιτήσεων Αντικείμενο 15/1/2012 2

3 Εννοιολογική Θεμελίωση 2(5) Ο όρος υποκείμενο αντιπροσωπεύει τους χρήστες και τις διεργασίες ενός συστήματος. Ο όρος αντικείμενο αντιπροσωπεύει τα αρχεία και άλλους υπολογιστικούς πόρους όπως μνήμη, εκτυπωτές κ.λπ. Κάθε οντότητα του υπολογιστικού συστήματος δεν εντάσσεται αποκλειστικά σε μια από τις παραπάνω κατηγορίες, καθώς ανάλογα με τις εκτελούμενες λειτουργίες μπορεί να δρα ως υποκείμενο (ενεργή οντότητα) αιτείται προσπέλασης σε κάποιον πόρο ή ως αντικείμενο(παθητική οντότητα). 15/1/2012 3

4 Εννοιολογική Θεμελίωση 3(5) Συνεπώς είναι δυνατόν να προσδιοριστούν: Οι ενέργειες που επιτρέπεται να εκτελέσει κάποιο υποκείμενο Οι ενέργειες που επιτρέπεται να εκτελεστούν σε κάποιο αντικείμενο Στις ενότητες που ακολουθούν θα αναφερθούμε σε: Ένα σύνολο υποκειμένων S (χρήστες, διεργασίες) Ένα σύνολο αντικειμένων O που σχετίζονται με την κατάσταση προστασίας του συστήματος Ένα σύνολο λειτουργιών προσπέλασης Α 15/1/2012 4

5 Εννοιολογική Θεμελίωση 4(5) Ο ιδιοκτήτης ενός αντικειμένου έχει τη δυνατότητα να τροποποιεί τα δικά του δικαιώματα και να εκχωρεί ή να ανακαλεί δικαιώματα προσπέλασης σε/από άλλα υποκείμενα. Ο διαχειριστής ενός συστήματος θα μπορούσε να θεωρηθεί ως ιδιοκτήτης όλων των αντικειμένων, καθώς μπορεί να τα προσπελάσει ανεξάρτητα από τα δικαιώματα που του έχουν εκχωρηθεί από τους ιδιοκτήτες. Εξασθένιση Προνομίων: Ένα υποκείμενο δε θα πρέπει να διαθέτει δυνατότητα εκχώρησης, σε άλλο υποκείμενο, δικαιωμάτων που δεν κατέχει 15/1/2012 5

6 Εννοιολογική Θεμελίωση 5(5) 15/1/2012 Ο καθορισμός και ο έλεγχος των τρόπων εκχώρησης δικαιωμάτων προσπέλασης, καθώς και των τρόπων που τα υποκείμενα μπορούν να προσπελάσουν κάποια αντικείμενα, υλοποιείται μέσω της πολιτικής ασφάλειας. Ποιος είναι υπεύθυνος για τον καθορισμό της πολιτικής ασφάλειας? Οι Ιδιοκτήτες των υπολογιστικών πόρων (Πολιτική Διακριτικού Ελέγχου Προσπέλασης) Κεντρική απόφαση σε επίπεδο συστήματος (Πολιτική Υποχρεωτικού Ελέγχου Προσπέλασης) 6

7 Έλεγχος πρόσβασης 1. Πίνακας ελέγχου πρόσβασης (access control matrix) 2. Λίστα ελέγχου δικαιωμάτων (access control list) 3. Λίστες δυνατοτήτων (capabilities) 4. Ομάδες (protection domains) 5. Covert Channel 15/1/2012 7

8 15/1/2012 8

9 15/1/2012 9

10 15/1/

11 15/1/

12 15/1/

13 15/1/

14 15/1/

15 15/1/

16 15/1/

17 15/1/

18 Παράδειγμα 15/1/

19 15/1/

20 Ομάδες σε Πίνακα Ελέγχου προσπέλασης (π.χ.) 15/1/

21 15/1/

22 15/1/

23 15/1/

24 15/1/

25 15/1/

26 15/1/

27 15/1/

28 Παράδειγμα 2 15/1/

29 15/1/

30 15/1/

31 15/1/

32 Παράδειγμα Tana is an administrator and member of the group pigfan A wildcard for Tana (problems ): Selective blocking: Using UID or GID: 15/1/

33 15/1/

34 15/1/

35 15/1/

36 15/1/

37 15/1/

38 15/1/

39 15/1/

40 Παράδειγμα 15/1/

41 15/1/

42 15/1/

43 15/1/

44 15/1/

45 15/1/

46 15/1/

47 Cryptographic Capability Για κάθε αντικείμενο δημιουργείται ένα check field (=random number) το οποίο αποθηκευεται μαζί με τον identifier του object (π.χ. i-node number) Μετά παρασκευάζεται το capability 15/1/

48 15/1/

49 15/1/

50 15/1/

51 15/1/

52 15/1/

53 15/1/

54 15/1/

55 15/1/

56 15/1/

57 15/1/

58 15/1/

59 15/1/

60 15/1/

61 15/1/

62 15/1/

63 15/1/

64 Covert Channels Λειτουργούν τα φορμαλιστικά μοντέλα? Στην πράξη ΟΧΙ Παράδειγμα (Lampson 1973) Single timesharing system 3 processes: client, server, collaborator Server and collaborator owned by the same entity 15/1/

65 Covert Channels The confinement problem: is it possible to design a system in which it is impossible for the server to leak information to the collaborator? 15/1/

66 Covert Channels We have implemented a protection matrix scheme properly Is it enough??? NO!! Several Channels Modulate the CPU usage Locking files (the acknowledgement protocol) Create and release files (Unix) etc 15/1/

67 Covert Channels 15/1/

68 Covert Channels Steganography (not directly applicable to our case) 15/1/