Android

Έρευνα για την ασφάλεια των λειτουργικών συστημάτων

Ηλεκτρονικοί υπολογιστές: Το λογισμικό - Παρουσιάσεις - Διαδίκτυο

Ηλεκτρονικοί υπολογιστές: Το λογισμικό - Παρουσιάσεις - Διαδίκτυο
Anonim

Η Tanenbaum ανέπτυξε το Minix, ένα λειτουργικό σύστημα βασισμένο κάπως στο Unix που έχει μια μικρή βάση κώδικα και εφαρμόζει ισχυρούς ελέγχους ασφάλειας. καταργήστε το κακόβουλο λογισμικό από τον υπολογιστή σας Windows

Η τελευταία επιχορήγηση θα επιτρέψει περαιτέρω έρευνα για να καταστήσει το λειτουργικό σύστημα ικανό να επιδιορθωθεί όταν εντοπιστεί ένα σφάλμα, επιτρέποντας έτσι στους υπολογιστές να είναι πιο αξιόπιστοι, δήλωσε ο Tanenbaum.

"Με ενοχλεί να μην τελειώνει όταν το λογισμικό δεν λειτουργεί", δήλωσε ο Tanenbaum. "Η αναγκαιότητα επανεκκίνησης του υπολογιστή σας είναι απλά ένας πόνος. Η ερώτηση είναι:« Μπορείτε να δημιουργήσετε ένα σύστημα που λειτουργεί πραγματικά πολύ καλά; »

Τα σφάλματα λογισμικού δεν θα εξαλειφθούν ποτέ, ο Tanenbaum έγραψε στην πρόταση του έργου. Αλλά τα λειτουργικά συστήματα όπως τα Windows και το Linux έχουν σχεδιαστεί με τρόπο που τους καθιστά λιγότερο αξιόπιστους από ό, τι θα μπορούσαν να είναι

. Για παράδειγμα, οι οδηγοί για λειτουργίες όπως ο ήχος και άλλα περιφερειακά εξαρτήματα πρέπει να εγκατασταθούν στον πυρήνα του λειτουργικού συστήματος, ή τον βασικό κώδικα του υπολογιστή. Αν κάτι πάει στραβά, συνήθως κρέμεται το μηχάνημα.

Ωστόσο, ο Minix είναι σχεδιασμένος έτσι ώστε οι οδηγοί να λειτουργούν σαν εφαρμογές εκτός του πυρήνα, πράγμα που σημαίνει ότι αν καταρρεύσουν, ο υπολογιστής θα συνεχίσει, δήλωσε ο Tanenbaum. Η έννοια ονομάζεται «microkernel» και όχι το αντίθετο, ένας μονολιθικός πυρήνας

Στο μοντέλο του Tanenbaum, άλλα συστατικά του λειτουργικού συστήματος θα λειτουργήσουν σε στενά περιορισμένα δομοστοιχεία που δεν μπορούν να αλληλεπιδρούν μεταξύ τους σε περίπτωση αποτυχίας. Επίσης, βελτιώνει τη συνολική ασφάλεια.

Ένα πιο ασφαλές λειτουργικό σύστημα αφήνει επίσης τους προμηθευτές λογισμικού μεγαλύτερη ευθύνη για τα τρωτά σημεία του λογισμικού. Οι προσδοκίες για το λογισμικό είναι πολύ χαμηλότερες από ό, τι για άλλους κλάδους, όπου μια αποτυχία εξαρτημάτων, όπως ένα ελαστικό οχήματος, οδηγεί σε ανακλήσεις και υποθέσεις, δήλωσε ο Tanenbaum.

Αλλά αυτή η ευθύνη θα μπορούσε να αποδοθεί ευκολότερα εάν το λογισμικό είναι λιγότερο περίπλοκο και περισσότερο "

" Θέλουμε να κάνουμε το λογισμικό που είναι πολύ, πολύ αξιόπιστο ", δήλωσε ο Tanenbaum

Η χρηματοδότηση θα επιτρέψει στην έρευνα του Minix να συνεχιστεί για άλλα πέντε χρόνια