AMD SEV

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

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

Το SEV συνδέει την κρυπτογράφηση μνήμης του guest με διαχείριση κλειδιών ειδική για κάθε VM. Το SEV-ES προσθέτει προστασία για την κατάσταση καταχωρητών του guest κατά τις εξόδους (exits), ενώ το SEV-SNP προσθέτει ισχυρότερους μηχανισμούς γύρω από την ακεραιότητα και την ιδιοκτησία της μνήμης του guest. Το υλικολογισμικό, ο hypervisor, η υποστήριξη guest και η πιστοποίηση γνησιότητας (attestation) συμμετέχουν στην ολοκληρωμένη ανάπτυξη εμπιστευτικού VM (confidential-VM).

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

Μια ανάπτυξη cloud μπορεί να ζητήσει έναν ρητά υποστηριζόμενο τύπο εμπιστευτικού VM και να επικυρώσει τα στοιχεία πιστοποίησης γνησιότητάς του πριν από την αποδέσμευση μυστικών. Η εφαρμογή εξακολουθεί να χρειάζεται ασφαλές I/O, πιστοποιημένους ομότιμους κόμβους (peers) και μια πολιτική για τις μετρήσεις πλατφόρμας που αποδέχεται.

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

Ελέγξτε τις πληροφορίες CPUID κρυπτογράφησης μνήμης της AMD και την ακριβή παραλλαγή SEV, και στη συνέχεια επικυρώστε το υλικολογισμικό, την υποστήριξη host/guest και την πιστοποίηση γνησιότητας μέσω της τεκμηριωμένης διεπαφής του παρόχου. Συμβουλευτείτε τις τρέχουσες οδηγίες ασφαλείας της AMD για την αναπτυγμένη γενιά και το υλικολογισμικό.

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

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

Ένα γενικό πεδίο SEV δεν αποδεικνύει το SEV-SNP, την τρέχουσα κατάσταση μετριασμού κινδύνων υλικολογισμικού ή μια συγκεκριμένη υπηρεσία πιστοποίησης γνησιότητας. Η κρυπτογράφηση από μόνη της δεν είναι το ίδιο με την προστασία ακεραιότητας, και η κρυπτογράφηση μνήμης δεν ασφαλίζει κάθε διαδρομή συσκευής ή δικτύου.

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

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

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

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

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

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

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

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

AMD SME · AMD-V και SVM · NPT και RVI · SGX

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

Πόροι προγραμματιστών AMD Secure Encrypted Virtualization · AMD64 Architecture Programmer's Manual, Volume 2: System Programming

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

Σχετικά

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

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

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

• Πόροι προγραμματιστών AMD Secure Encrypted Virtualization · Διακρίνει τα SEV, SEV-ES και SEV-SNP και συνδέει API υλικολογισμικού, τεκμηρίωση πιστοποίησης γνησιότητας και κρυπτογράφησης μνήμης. Ελέγξτε τις τρέχουσες οδηγίες ασφαλείας για τη συγκεκριμένη ανάπτυξη.
• AMD64 Architecture Programmer's Manual, Volume 2: System Programming · Προγραμματισμός συστήματος, SVM και ένθετη μετάφραση, αναθεώρηση 3.46. Το τρέχον πρόγραμμα προβολής τεκμηρίωσης απαιτεί JavaScript· παλαιότερες διευθύνσεις URL εγγράφων ενδέχεται να έχουν αποσυρθεί.