Μετάβαση στο περιεχόμενο

Υλικό RNG

Αναφορά αρχιτεκτονικήςFeex

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

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

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

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

Στο x86, το λογισμικό μπορεί να συναντήσει τις ξεχωριστά απαριθμημένες διεπαφές RDRAND και RDSEED. Αυτές έχουν διακριτούς ρόλους και αναφορά επιτυχίας. Μια πηγή υλικού συμμετέχει συνήθως σε έναν ευρύτερο σχεδιασμό τυχαιότητας του λειτουργικού συστήματος ή της βιβλιοθήκης, ο οποίος διαχειρίζεται την προετοιμασία (conditioning), την αρχικοποίηση (seeding), τις αποτυχίες και τον τρόπο με τον οποίο οι εφαρμογές λαμβάνουν τυχαία byte.

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

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

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

Προσδιορίστε την πραγματική διεπαφή υλικού και ελέγξτε τη συγκεκριμένη απαρίθμησή της. Για το RDRAND και το RDSEED, ελέγξτε τα ξεχωριστά CPUID bits τους και τη σημαία carry κάθε εκτέλεσης. Για την ανάπτυξη εφαρμογών, χρησιμοποιήστε το υποστηριζόμενο API τυχαιότητας του λειτουργικού συστήματος ή της κρυπτογραφικής βιβλιοθήκης.

Χρησιμοποιήστε μια συντηρούμενη κρυπτογραφική υλοποίηση που χειρίζεται την επιλογή δυνατοτήτων, τις συνθήκες αποτυχίας και τον πλήρη αλγόριθμο. Η επιτάχυνση υλικού παρέχει πρωταρχικά στοιχεία (primitives)· η διαχείριση κλειδιών, ο έλεγχος ταυτότητας, οι κανόνες nonce και οι επιλογές πρωτοκόλλου παραμένουν ευθύνες του λογισμικού.

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

Μην μετατρέπετε ένα γενικό πεδίο hardware RNG σε ισχυρισμούς ότι υπάρχουν τόσο το RDRAND όσο και το RDSEED, ότι μια γεννήτρια πληροί μια συγκεκριμένη πιστοποίηση ή ότι κάθε VM διαθέτει την πηγή του φυσικού host. Μια εντολή τυχαίων αριθμών δεν προστατεύει τα κλειδιά μετά την αποθήκευσή τους.

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

Ένα πεδίο δυνατότητας δεν αποτελεί πιστοποίηση προϊόντος ούτε απόδειξη ότι μια συγκεκριμένη εφαρμογή είναι ασφαλής. Η απόδοση εξαρτάται από τα μεγέθη των μηνυμάτων, τη λειτουργία (mode), την ομαδοποίηση (batching) και το υπόλοιπο πρωτόκολλο. Ελέγξτε τον πραγματικό πάροχο και διατηρείτε ενημερωμένες τις ενημερώσεις ασφαλείας του.

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

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

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

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

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

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

Intel 64 and IA-32 Architectures Software Developer's Manual

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

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

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

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

Ήταν χρήσιμο αυτό το άρθρο;

Ένα ναι ή όχι είναι αρκετό. Επιλέξτε έναν λόγο εάν θέλετε ή προσθέστε μια σύντομη σημείωση.

Ήταν χρήσιμο αυτό το άρθρο;