Salta al contenuto

SGX

Riferimento sull'architetturaFeex

Intel SGX, Software Guard Extensions, fornisce funzionalita di esecuzione di enclave con un modello di minaccia e un'interfaccia software specifici. Il solo supporto della CPU non e sufficiente a garantire che un'applicazione basata su enclave possa essere eseguita su un particolare sistema.

Cosa c'è da sapere

Intel SGX, Software Guard Extensions, fornisce funzionalita di esecuzione di enclave con un modello di minaccia e un'interfaccia software specifici. Il solo supporto della CPU non e sufficiente a garantire che un'applicazione basata su enclave possa essere eseguita su un particolare sistema.

Come funziona

SGX definisce la memoria dell'enclave e i meccanismi di ingresso/uscita, con una cache di pagine dell'enclave gestita tramite il supporto di piattaforma e del sistema operativo. Un'applicazione basata su enclave separa i componenti attendibili da quelli non attendibili e puo utilizzare l'attestazione per stabilire l'identita dell'enclave. La quantita di memoria dell'enclave utilizzabile e la politica di avvio supportata variano in base alla piattaforma.

Dove risulta utile

Un'applicazione puo allocare elaborazioni e segreti con ambito strettamente delimitato all'interno di un'enclave, trattando l'host circostante come esterno al proprio perimetro di attendibilita. I/O, input non attendibili, gestione delle eccezioni e considerazioni sui canali laterali richiedono comunque una progettazione esplicita.

Come verificare il supporto e l'abilitazione

Verificare CPUID.07H.00H:EBX bit 2 e le informazioni della foglia CPUID 12H specifica per SGX, quindi verificare il provisioning del firmware, il supporto di driver/runtime e i requisiti di attestazione dell'applicazione. Rispettare l'esatta configurazione supportata della piattaforma.

Capacità, abilitazione e applicazione delle norme devono essere verificate separatamente. Un processore può supportare una protezione anche quando il sistema operativo, l'applicazione o i criteri della macchina virtuale non la attivano. Un campo di supporto all'interno di un database non costituisce l'attestazione di un sistema in esecuzione.

Cosa non stabilisce la funzionalità

Un'etichetta SGX non attesta i dettagli di SGX1/SGX2, il controllo di avvio flessibile, la disponibilita del servizio di attestazione o una specifica capacita di memoria per le enclave. Non rende riservate applicazioni generiche non modificate ne elimina ogni canale laterale.

Compatibilità e prestazioni nella pratica

Mantenere aggiornati il sistema operativo, il firmware e il runtime interessato. Se una protezione evidenzia un problema di compatibilità, ricorrere innanzitutto alla diagnostica del fornitore e agli aggiornamenti supportati. Una modifica radicale delle protezioni può influire su applicazioni non correlate e deve seguire criteri precisi di distribuzione e ripristino.

Una checklist pratica di verifica

  1. Annotare il modello esatto di processore o piattaforma e le versioni di applicazione, sistema operativo e runtime interessate. Mantenere la formulazione dell'errore o del requisito effettivo.
  2. Controllare la documentazione del produttore per quello specifico modello, quindi ispezionare la funzionalità effettiva e lo stato di abilitazione nell'ambiente in cui il programma viene eseguito.
  3. Confrontare ogni requisito del binario o del backend selezionato. Una funzionalità con un nome simile, un alias o un'etichetta tecnologica generica non sono sufficienti.
  4. Verificare che l'applicazione abbia selezionato l'implementazione prevista. Utilizzare la relativa diagnostica documentata e un fallback supportato quando i requisiti non sono soddisfatti.
  5. Apportare una sola modifica supportata alla volta e ripetere lo stesso carico di lavoro. Mantenere disponibili la configurazione originale e un percorso di ripristino.

Se la funzionalità è elencata ma il software non può utilizzarla

Iniziare dal componente esatto che genera l'errore. Un database hardware descrive la capacità registrata; il sistema operativo o l'hypervisor possono esporre un ambiente effettivo differente. Un errore di istruzione illegale richiede inoltre l'analisi dell'effettiva istruzione che causa il problema e della build del binario, poiché il danneggiamento di dati o un'istruzione non supportata non correlata possono produrre un sintomo simile.

Installare la versione di applicazione, driver o runtime supportata per la piattaforma esatta e, se necessario, utilizzare la build di riferimento o di fallback documentata dal produttore. Un aggiornamento software non può creare un'istruzione che manca nel processore. Le modifiche al firmware e ai criteri di sicurezza devono seguire la procedura del produttore del sistema e un piano di ripristino, piuttosto che una generica ricetta di ottimizzazione.

Fonti e ambito di questa spiegazione

Intel 64 and IA-32 Architectures Software Developer's Manual · Implementazione di riferimento per sviluppatori Intel SGX

Questi riferimenti definiscono il comportamento architetturale e i requisiti software. Non verificano in modo indipendente ogni valore delle funzionalità presente nella pagina di un modello hardware collegato. Per il supporto su uno specifico modello, fare riferimento alle evidenze del produttore su quella pagina e controllare l'effettiva configurazione di sistema. Questo articolo non fornisce benchmark, certificazioni o date di revisione indipendente.

Fonti e verifica

Titolarità editoriale: Feex. Nessuna data di revisione indipendente registrata. Come svolgiamo le ricerche.

Questo articolo è stato utile?

È sufficiente un sì o un no. Scegli un motivo, se desideri, o aggiungi una breve nota.

Questo articolo è stato utile?