SGX

Chiḍḍu ca t'hà sapiri

Comu funziona

SGX difinisci la mimòria di l'enclave e li miccanismi d'intrata/nisciuta, cu na page cache di l'enclave gistita tràmiti lu supportu dâ piattaforma e dû sistema upirativu. N'applicazzioni di enclave sparti li cumpunenti fidati e nun fidati e pò usari l'attistazzioni pi stabbiliri l'idintità di l'enclave. La quantitati di mimòria di l'enclave utilizzàbbili e la pulìtica di lanciu suppurtata sù spicìfichi dâ piattaforma.

Unni e' ùtili

N'applicazzioni pò mèttiri un càrculu a làricu limitatu e li sigreti dintra n'enclave mentri tratta l'host circustanti comu fora dû sò perìmitru di fiducia. L'I/O, l'input nun fidati, lu cumpurtamentu di l'eccizzioni e li cunsidirazzioni supra li side-channel addumannanu sempri un disignu esprìcitu.

Comu cuntrollari lu supportu e l'abbilitazzioni

Cuntrolla CPUID.07H.00H:EBX bit 2 e li nfurmazzioni dâ leaf CPUID 12H spicìfica pi SGX, poi virìfica la pruvvisioni dû firmware, lu supportu driver/runtime e li requisiti d'attistazzioni di l'applicazzioni. Segui la cunfigurazzioni suppurtata dâ piattaforma esatta.

Capacitati, abbilitazzioni e applicazzioni s'hànnu a cuntrollari siparatamenti. Un prucissuri po suppurtari na prutizzioni mentri lu SO, l'applicazzioni o la pulìtica dâ màchina virtùali nun l'attivanu. Un campu di supportu nta un database nun e' n'attistazzioni d'un sistema 'n funzioni.

Zoccu la funziunalitati nun stabbilisci

N'etichetta SGX nun stabbilisci li dittagghi di SGX1/SGX2, lu flexible launch control, la dispunibbilità dû sirvizziu d'attistazzioni o na spicìfica capacitati di mimòria di l'enclave. Nun renni cunfidinziali l'applicazzioni nun mudificati arbitrari e mancu èlìmina ogni side channel.

Cumpatibbilitati e pristazzioni nnâ pràtica

Manteni lu SO, lu firmware e lu runtime nterissatu sempri aggiurnati. Si na prutizzioni ammustra un prubbrema di cumpatibbilitati, usa prima la diagnòstica dû prudutturi e l'aggiurnamenti suppurtati. N'interrutturi ginèricu di prutizzioni po nfruinzari applicazzioni nun culligati e avissi a sèquiri na pulìtica splìcita di distribbuzzioni e ricùpiru.

Na lista di virìfica pràtica

1. Riggistra lu mudellu esattu dû prucissuri o dâ piattafurma e li virsioni di l'applicazzioni, dû SO e dû runtime cuinvorti. Manteni la formulazzioni di l'erruri o dû requisitu riali.
2. Cuntrolla lu rifirimentu dû prudutturi pi ddu mudellu esattu, poi spizziona la capacitati effittiva e lu statu abbilitatu nta l'ambienti unni lu prugramma gira.
3. Cunfrunta ogni requisitu dû binariu o dû backend silizziunatu. Na funziunalitati cû nomu sìmili, un pseudònimu o n'etichetta ticnulòggica ginèrica nun abbàstanu.
4. Cunferma ca l'applicazzioni hà silizziunatu la mplimintazzioni privista. Usa la sò diagnòstica ducumintata e un fallback suppurtatu quannu li requisiti nun sunnu suddisfatti.
5. Fai un canciamentu suppurtatu a la vota e ripeti lu stissu caricu di travagghiu. Manteni dispunìbbili la cunfigurazzioni urigginali e lu pircorsu di ricùp ситуаazzioni.

Si la funziunalitati e' ndicata ma lu software nun la po usari

Accumenza cû cumpunenti esattu ca fallisci. Un database d'hardware discrivi la capacitati riggistrata; lu sistema upirativu o l'hypervisor ponnu ammustrari n'ambienti effittivu diffirenti. N'erruri di struzzioni illigali addanna puru n'indàggini supra la struzzioni ca fallisci pi daveru e supra la build binaria, picchì la curruzzioni o na struzzioni nun currilata e nun suppurtata ponnu fari un sìntumu sìmili.

Installa la virsioni di l'applicazzioni, dû driver o dû runtime suppurtata pâ piattafurma esatta, e usa la build di basi o di fallback ducumintata dû prudutturi si n'hai bisognu. N'aggiurnamentu dû software nun po criari na struzzioni ca manca nnô prucissuri. Li canciamenti di firmware e di pulìtica di sicurizza avìssiru a sèquiri la prucidura dû prudutturi dû sistema e un pianu di ricùpiru mmeci d'un ricittariu d'uttimizzazzioni ginèricu.

Funziunalitati currilati e distinzioni ùtili

Trusted Execution (Intel TXT) · AMD SEV · Execute Disable (NX)

Funti e scanciu di st'esplicazzioni

Intel 64 and IA-32 Architectures Software Developer's Manual · Mplimintazzioni di rifirimentu pô sviluppaturi di Intel SGX

Sti rifirimenti stabbilìscinu lu cumpurtamentu architittùnicu e li requisiti dû software. Nun virìficanu di manera ndipinnenti ogni valuri di funziunalitati nta na pàggina d'un mudellu hardware culligatu. Pû supportu dû mudellu, usa li provi dû prudutturi di dda pàggina e cuntrolla la cunfigurazzioni effittiva dû sistema. St'artìculu nun duna un benchmark, na cirtificazzioni o na data di rivisioni ndipinnenti.

Currilati

St'entità si cullèganu a st'artìculu. U tipu è ammustratu supra ogni culligamentu.

Funti e virìfica

Titularità editoriali: Feex. Nudda data di rivisioni nnipinnenti è riggistrata. Comu facemu i ricerchi.

• Intel 64 and IA-32 Architectures Software Developer's Manual · Li Vulumi 1 e 2 discrìvinu li famigghi di struzzioni muntuati e CPUID; lu Vulumi 3 discrivi statu, pagginazzioni, VMX e cuntrolli di prutizzioni. La ducumintazzioni d'architittura nun stabbilisci lu supportu pi un mudellu particulari.
• Mplimintazzioni di rifirimentu pô sviluppaturi di Intel SGX · Pruggettu ufficiali di SDK/runtime e rifirimenti pô deployment di l'enclave. Li requisiti esatti dâ piattaforma e d'attistazzioni arrèstanu spicìfichi di l'applicazzioni.