Trusted Execution (Intel TXT)

Τι πρέπει να γνωρίζετε

Πώς λειτουργεί

Μια μετρούμενη εκκίνηση καταγράφει πληροφορίες σχετικά με το εκκινημένο περιβάλλον στην υποδομή εμπιστοσύνης της πλατφόρμας σύμφωνα με ένα καθορισμένο πρωτόκολλο εκκίνησης. Οι μετρήσεις επιτρέπουν σε έναν φορέα επαλήθευσης (verifier) ή σε μια πολιτική να συνάγει συμπεράσματα σχετικά με την ταυτότητα, αλλά δεν αποτελούν οι ίδιες ετυμηγορία ότι ο κώδικας είναι ασφαλής. Το λογισμικό εκκίνησης και η διαμόρφωση της πλατφόρμας καθορίζουν το αξιοποιήσιμο περιβάλλον.

Πού είναι χρήσιμο

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

Πώς να ελέγξετε την υποστήριξη και την ενεργοποίηση

Ελέγξτε την ακριβή υποστήριξη TXT του συστήματος, τις απαιτήσεις TPM, τις ρυθμίσεις firmware και το υποστηριζόμενο λογισμικό μετρούμενης εκκίνησης (measured-launch). Η απαρίθμηση CPU SMX αποτελεί μόνο μέρος αυτής της αλυσίδας. Χρησιμοποιήστε τις οδηγίες ανάπτυξης του κατασκευαστή και διατηρήστε μια διαδρομή ανάκτησης πριν αλλάξετε μια διαχειριζόμενη διαμόρφωση.

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

Τι δεν καθορίζει η δυνατότητα

Το TXT δεν είναι το σύνηθες VT-x, το Boot Guard, μια γενική ετικέτα αξιόπιστου περιβάλλοντος εκτέλεσης ή ένα προϊόν προστασίας από ιούς. Η παρουσία TPM από μόνη της δεν αποδεικνύει ότι το TXT έχει διαμορφωθεί, και η αλλαγή των ρυθμίσεων εκκίνησης στο firmware μπορεί να επηρεάσει μια εδραιωμένη εγκατάσταση.

Συμβατότητα και απόδοση στην πράξη

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

Μια πρακτική λίστα ελέγχου επαλήθευσης

1. Καταγράψτε το ακριβές μοντέλο επεξεργαστή ή πλατφόρμας και τις εμπλεκόμενες εκδόσεις εφαρμογής, λειτουργικού συστήματος και περιβάλλοντος εκτέλεσης (runtime). Διατηρήστε τη διατύπωση του πραγματικού σφάλματος ή της απαίτησης.
2. Ελέγξτε τις αναφορές του κατασκευαστή για το συγκεκριμένο μοντέλο και, στη συνέχεια, εξετάστε την πραγματική δυνατότητα και την ενεργοποιημένη κατάσταση στο περιβάλλον όπου εκτελείται το πρόγραμμα.
3. Συγκρίνετε κάθε απαίτηση του επιλεγμένου εκτελέσιμου αρχείου (binary) ή του backend. Μια δυνατότητα με παρόμοιο όνομα, ένα ψευδώνυμο ή μια ευρεία ετικέτα τεχνολογίας δεν επαρκεί.
4. Επιβεβαιώστε ότι η εφαρμογή επέλεξε την προβλεπόμενη υλοποίηση. Χρησιμοποιήστε τα τεκμηριωμένα διαγνωστικά της και μια υποστηριζόμενη εναλλακτική λύση (fallback) όταν δεν πληρούνται οι απαιτήσεις.
5. Κάντε μία υποστηριζόμενη αλλαγή τη φορά και επαναλάβετε τον ίδιο φόρτο εργασίας. Διατηρήστε διαθέσιμη την αρχική διαμόρφωση και τη διαδρομή επαναφοράς.

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

Ξεκινήστε με το ακριβές στοιχείο που αποτυγχάνει. Μια βάση δεδομένων υλικού περιγράφει την καταγεγραμμένη δυνατότητα· το λειτουργικό σύστημα ή ο hypervisor μπορεί να εκθέσει ένα διαφορετικό πραγματικό περιβάλλον. Ένα σφάλμα μη έγκυρης εντολής (illegal-instruction error) απαιτεί επίσης διερεύνηση της πραγματικής εντολής που προκάλεσε το σφάλμα και της έκδοσης του εκτελέσιμου (binary build), καθώς η αλλοίωση δεδομένων ή μια άσχετη μη υποστηριζόμενη εντολή μπορεί να προκαλέσει παρόμοιο σύμπτωμα.

Εγκαταστήστε την έκδοση της εφαρμογής, του προγράμματος οδήγησης ή του περιβάλλοντος εκτέλεσης που υποστηρίζεται για την ακριβή πλατφόρμα και χρησιμοποιήστε τη βασική γραμμή (baseline) ή την εναλλακτική έκδοση (fallback build) που τεκμηριώνει ο κατασκευαστής, εάν χρειάζεται. Μια ενημέρωση λογισμικού δεν μπορεί να δημιουργήσει μια εντολή που λείπει από τον επεξεργαστή. Οι αλλαγές στο υλικολογισμικό (firmware) και στην πολιτική ασφαλείας θα πρέπει να ακολουθούν τη διαδικασία του κατασκευαστή του συστήματος και ένα σχέδιο επαναφοράς και όχι μια γενική συνταγή βελτιστοποίησης.

Σχετικές δυνατότητες και χρήσιμες διακρίσεις

Boot Guard · VT-x · SGX · Intel Hardware Shield

Πηγές και πεδίο εφαρμογής αυτής της επεξήγησης

Επισκόπηση του Intel Trusted Execution Technology · Intel 64 and IA-32 Architectures Software Developer's Manual

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

Σχετικά

Αυτές οι οντότητες συνδέονται με αυτό το άρθρο. Ο τύπος εμφανίζεται σε κάθε σύνδεσμο.

Πηγές και επαλήθευση

Συντακτική ιδιοκτησία: Feex. Δεν έχει καταγραφεί ημερομηνία ανεξάρτητης αναθεώρησης. Πώς ερευνούμε.

• Επισκόπηση του Intel Trusted Execution Technology · Απαιτήσεις πλατφόρμας και μετρούμενο περιβάλλον εκτέλεσης. Συμβουλευτείτε επίσης τις οδηγίες ανάπτυξης λογισμικού και υλοποίησης TXT της πλατφόρμας.
• Intel 64 and IA-32 Architectures Software Developer's Manual · Οι τόμοι 1 και 2 περιγράφουν τις κατονομαζόμενες οικογένειες εντολών και το CPUID· ο τόμος 3 περιγράφει την κατάσταση, τη σελιδοποίηση, το VMX και τους ελέγχους προστασίας. Η τεκμηρίωση αρχιτεκτονικής δεν καθορίζει την υποστήριξη για ένα συγκεκριμένο μοντέλο.