Δευτέρα, 1 Ιουνίου, 06:26
Αρχική security Το Linux Foundation υποστηρίζει το seL4 microkernel OS για ενίσχυση της ασφάλειας

Το Linux Foundation υποστηρίζει το seL4 microkernel OS για ενίσχυση της ασφάλειας

 Linux Foundation seL4

Το Linux Foundation συνεργάζεται με το Data61, το ψηφιακό εξειδικευμένο τμήμα του Εθνικού Οργανισμού Επιστημών της Αυστραλίας, Commonwealth Scientific and Industrial Research Organisation (CSIRO), σε μια προσπάθεια να προωθήσουν το νέο πυρήνα του λειτουργικού συστήματος seL4, που προσανατολίζεται στην ασφάλεια.

Το seL4 microkernel δεν σχετίζεται με το Linux. Ωστόσο, μπορεί, θεωρητικά, να χρησιμοποιηθεί ως βάση τόσο για το Linux όσο και για άλλα λειτουργικά συστήματα, που σχετίζονται με το Unix. Για παράδειγμα, εξετάζεται η χρήση του στο λειτουργικό σύστημα Gnu Hurd του Richard M. Stallman. Τώρα, η πιο πρόσφατη έκδοση επιτρέπει στο seL4 να αναπτυχθεί ευρύτερα.

Αυτός ο πυρήνας είναι μέλος της οικογένειας microkernel L4. Το SeL4 είναι ένας μαθηματικά αποδεδειγμένος σωστός πυρήνας λειτουργικού συστήματος, χωρίς σφάλματα. Στόχος του είναι η ενίσχυση της ασφάλειας. Σύμφωνα με το Data61, είναι το πρώτο λειτουργικό σύστημα στον κόσμο, που έχει αποδειχθεί μαθηματικά και διαθέτει πολύ υψηλή απόδοση και ενισχυμένες ιδιότητες ασφάλειας. Στο μέλλον, θα είναι σε θέση να υποστηρίζει σημαντικά συστήματα σε πραγματικό χρόνο.

Ο ρόλος του Linux Foundation είναι να φιλοξενήσει το νέο φορέα SeL4 Foundation. Ουσιαστικά, θα υποστηρίξει το seL4 Foundation παρέχοντας τεχνογνωσία και υπηρεσίες για να αυξήσει το engagement της κοινότητας, ενώ ταυτόχρονα θα βοηθήσει στην ανάπτυξη του OS οικοσυστήματος.

Τα ιδρυτικά μέλη αυτού του εγχειρήματος είναι οι παρακάτω φορείς: Data61, UNSW Sydney, HENSOLDT Cyber ​​GmbH, Ghost Locomotion, Cog Systems και DornerWorks.

Το SeL4 θα χρησιμοποιηθεί σε κρίσιμα υπολογιστικά συστήματα (σε πραγματικό χρόνο), στα οποία η ασφάλεια είναι πολύ σημαντική. Λέγεται  ότι θα χρησιμοποιηθεί σε βασικούς τομείς:

  • ηλεκτρονικός εξοπλισμός σε αεροσκάφη
  • αυτόνομα οχήματα
  • ιατρικές συσκευές
  • κρίσιμες υποδομές
  • άμυνα

Ο Carl L. Nerup, Διευθύνων Σύμβουλος της Cog Systems, δήλωσε:

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

ΑΦΗΣΤΕ ΜΙΑ ΑΠΑΝΤΗΣΗ

Please enter your comment!
Please enter your name here

Digital Fortress
Digital Fortresshttps://www.secnews.gr
Pursue Your Dreams & Live!

LIVE NEWS

00:02:18

Πώς να προσθέσετε το YouTube κανάλι ή το Instagram σας στο TikTok

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

Γνώστα website σαρώνουν τους υπολογιστές των επισκεπτών τους

Πολλά γνωστά και ευρέως χρησιμοποιούμενα website χρησιμοποιούν ένα script προστασίας από απάτες, το οποίο σαρώνει τον τοπικό υπολογιστή σας για προγράμματα απομακρυσμένης...

Google Chrome: Νέο “anti-notification spam” σύστημα από τον Ιούλιο

Η Google ανακοίνωσε ότι σχεδιάζει να ενεργοποιήσει το νέο της "anti-notification spam" σύστημα στο Chrome, με την...

Η Amtrak επαναφέρει τους κωδικούς πρόσβασης των χρηστών μετά από παραβίαση δεδομένων

Η National Railroad Passenger Corporation (Amtrak) αποκάλυψε μια παραβίαση δεδομένων που οδήγησε στην έκθεση προσωπικών πληροφοριών ορισμένων μελών του Guest Rewards.

Οι διαμαρτυρίες στις ΗΠΑ καθυστερούν την εκδήλωση για το Android 11

Όπως ήταν προγραμματισμένο, η εκδήλωση για την παρουσίαση των χαρακτηριστικών του νέου Android 11 από την Google...

Η Cisco παραβιάστηκε μέσω εκμετάλλευσης των SaltStack servers

Η Cisco είπε σήμερα ότι ορισμένοι από τους servers υποστήριξης Cisco Virtual Internet Routing Lab Personal Edition (VIRL-PE) παραβιάστηκαν με εκμετάλλευση κρίσιμων...

Valak Malware: Κλέβει δεδομένα από Microsoft Exchange Servers

Το 2019, το Valak Malware παρατηρήθηκε για πρώτη φορά, ως malware loader. Πρόσφατα όμως, έγινε γνωστό ότι...

Συσκευή “anti-5G” που κοστίζει $ 350 είναι απλά ένα USB stick

Οι φαν των θεωριών συνωμοσίας 5G έχουν ήδη αγοράσει ένα κλειδί USB anti-5G με τιμή 350 $ που φαίνεται να είναι...

Windows 10 Pro με $13 με τον SecNews κωδικό έκπτωσης

Αποκτήστε τα Windows 10 Pro με $13 με τον SecNews κωδικό έκπτωσης: Αυτή τη περίοδο οι ώρες εργασίας από το σπίτι είναι...

Διέρρευσαν δεδομένα 47,5 εκατομμυρίων χρηστών του Truecaller

Η εφαρμογή Truecaller, βοηθά στον εντοπισμό των ανώνυμων κλήσεων και προσφέρει την επιλογή επισήμανσης των spammers.