SGX
Intel SGX, Software Guard Extensions, pruza mogucnosti izvrsavanja enklava sa specificnim modelom prijetnji i softverskim interfejsom. Podrska procesora nije dovoljna da bi se utvrdilo da enklavna aplikacija moze raditi na odredjenom sistemu.
Šta trebate znati
Intel SGX, Software Guard Extensions, pruza mogucnosti izvrsavanja enklava sa specificnim modelom prijetnji i softverskim interfejsom. Podrska procesora nije dovoljna da bi se utvrdilo da enklavna aplikacija moze raditi na odredjenom sistemu.
Kako radi
SGX definise memoriju enklave i mehanizme ulaska/izlaska, sa predmemorijom stranica enklave kojom se upravlja putem podrske platforme i OS-a. Enklavna aplikacija razdvaja pouzdane i nepouzdane komponente i moze koristiti atestaciju za utvrdjivanje identiteta enklave. Kolicina upotrebljive memorije enklave i podrzana politika pokretanja specificni su za platformu.
Gdje je korisno
Aplikacija moze smjestiti precizno definisan proracun i tajne unutar enklave, dok okolnog domacina tretira kao prostor izvan svojih granica povjerenja. U/I, nepouzdani unosi, ponasanje izuzetaka i razmatranja bocnih kanala i dalje zahtijevaju eksplicitan dizajn.
Kako provjeriti podršku i omogućavanje
Provjerite CPUID.07H.00H:EBX bit 2 i informacije SGX-specificnog CPUID leafa 12H, a zatim verifikujte obezbjedjivanje firmvera, podrsku za drajver/runtime i zahtjeve aplikacije za atestaciju. Slijedite tacnu podrsku konfiguraciju platforme.
Mogućnost, omogućavanje i provođenje moraju se provjeriti odvojeno. Procesor može podržavati zaštitu dok je OS, aplikacija ili politika virtuelne mašine ne aktiviraju. Polje podrške u bazi podataka nije atestacija pokrenutog sistema.
Šta ova funkcija ne uspostavlja
SGX oznaka ne utvrdjuje SGX1/SGX2 detalje, fleksibilnu kontrolu pokretanja, dostupnost servisa atestacije ili odredjeni kapacitet memorije enklave. Ona ne cini proizvoljne nemodifikovane aplikacije povjerljivim niti eliminise svaki bocni kanal.
Kompatibilnost i performanse u praksi
Održavajte OS, firmver i pogođeno runtime okruženje ažurnim. Ako zaštita izloži problem s kompatibilnošću, prvo koristite dijagnostiku dobavljača i podržana ažuriranja. Široki prekidač zaštite može utjecati na nepovezane aplikacije i trebao bi pratiti eksplicitnu politiku implementacije i oporavka.
Praktična lista za provjeru verifikacije
- Zabilježite tačan model procesora ili platforme te verzije aplikacije, OS-a i runtime okruženja koji se koriste. Sačuvajte formulaciju stvarne greške ili zahtjeva.
- Provjerite referencu proizvođača za taj tačan model, a zatim pregledajte efektivnu sposobnost i omogućeno stanje u okruženju u kojem se program izvršava.
- Uporedite svaki zahtjev odabrane binarne datoteke ili pozadinskog sistema. Slično imenovana funkcija, pseudonim ili široka tehnološka oznaka nisu dovoljni.
- Potvrdite da je aplikacija odabrala predviđenu implementaciju. Koristite njenu dokumentiranu dijagnostiku i podržanu rezervnu varijantu kada zahtjevi nisu ispunjeni.
- Pravite jednu po jednu podržanu promjenu i ponavljajte isto radno opterećenje. Zadržite izvornu konfiguraciju i dostupan put oporavka.
Ako je funkcija navedena, ali je softver ne može koristiti
Počnite od tačne komponente koja otkazuje. Baza podataka hardvera opisuje zabilježenu sposobnost; operativni sistem ili hipervizor mogu izložiti drugačije efektivno okruženje. Greška nevažeće instrukcije (illegal-instruction) također zahtijeva istragu stvarne instrukcije koja uzrokuje grešku i binarne verzije, jer oštećenje ili nepovezana nepodržana instrukcija mogu proizvesti sličan simptom.
Instalirajte verziju aplikacije, drajvera ili runtime okruženja podržanu za tačnu platformu i po potrebi koristite proizvođačevu dokumentiranu osnovnu ili rezervnu verziju. Ažuriranje softvera ne može stvoriti instrukciju koja procesoru nedostaje. Promjene firmvera i sigurnosnih pravila trebaju pratiti proceduru proizvođača sistema i plan oporavka, a ne generički recept za optimizaciju.
Izvori i obim ovog objašnjenja
Intel 64 and IA-32 Architectures Software Developer's Manual · Intel SGX referentna implementacija za programere
Ove reference uspostavljaju arhitekturno ponašanje i softverske zahtjeve. One ne verifikuju nezavisno svaku vrijednost funkcije na povezanoj stranici modela hardvera. Za podršku modela koristite dokaze proizvođača s te stranice i provjerite efektivnu konfiguraciju sistema. Ovaj članak ne pruža benchmark, certifikaciju ili datum nezavisnog pregleda.
Izvori i provjera
Uredničko vlasništvo: Feex. Nije zabilježen datum nezavisne provjere. Kako istražujemo.
- Intel 64 and IA-32 Architectures Software Developer's Manual · Tomovi 1 i 2 opisuju navedene porodice instrukcija i CPUID; Tom 3 opisuje kontrole stanja, straničenja, VMX-a i zaštite. Dokumentacija arhitekture ne utvrđuje podršku za određeni model.
- Intel SGX referentna implementacija za programere · Zvanicni SDK/runtime projekat i reference za implementaciju enklava. Tacni zahtjevi za platformu i atestaciju ostaju specificni za aplikaciju.
Da li je ovaj članak bio koristan?
Dovoljno je da odgovorite sa da ili ne. Izaberite razlog ako želite ili dodajte kratku napomenu.
Hvala. To nam pomaže da poboljšamo ovu stranicu.