OS Guard i SMEP

El que cal saber

Com funciona

Quan el SO habilita SMEP, les cerques d'instruccions en mode de supervisor es verifiquen contra els permisos d'usuari/supervisor de la taula de pàgines. Això ajuda a evitar que un error de flux de control del nucli executi directament codi assignat com a accessible per l'usuari. El SO continua controlant les assignacions de pàgines i el seu propi codi privilegiat.

On és útil

Un nucli que redirigeixi accidentalment l'execució cap a una pàgina d'usuari pot fallar sota SMEP. Aquest és un límit d'execució concret; no valida de manera independent la lògica del nucli, els controladors carregats o les assignacions de supervisor permeses.

Com comprovar el suport i l'habilitació

El bit 7 de CPUID.07H.00H:EBX enumera SMEP; CR4.SMEP és el control del SO. SMAP té un bit i un control separats. Comproveu la configuració de protecció documentada del SO en execució en lloc d'intentar canviar controls privilegiats des d'una aplicació.

La capacitat, l'habilitació i l'aplicació s'han de comprovar per separat. Un processador pot admetre una protecció mentre que la política del SO, de l'aplicació o de la màquina virtual no l'activa. Un camp de suport en una base de dades no és una atestació d'un sistema en execució.

El que la característica no estableix

OS Guard no és Boot Guard. Un camp de base de dades que indiqui OS Guard (SMAP) barreja dos conceptes arquitectònics diferents i no pot establir tots dos; verifiqueu SMEP i SMAP de manera independent. La funció no fa que un controlador vulnerable sigui segur.

Compatibilitat i rendiment a la pràctica

Manteniu actualitzats el SO, el microprogramari i l'entorn d'execució afectat. Si una protecció exposa un problema de compatibilitat, utilitzeu primer els diagnòstics del fabricant i les actualitzacions admeses. Una activació àmplia de protecció pot afectar aplicacions no relacionades i hauria de seguir una política explícita de desplegament i recuperació.

Una llista de verificació pràctica

1. Enregistreu el model exacte de processador o de plataforma i les versions d'aplicació, SO i entorn d'execució implicades. Conserveu la redacció de l'error o del requisit real.
2. Comproveu la referència del fabricant per a aquest model exacte, i després inspeccioneu la capacitat efectiva i l'estat habilitat en l'entorn on s'executa el programa.
3. Compareu cada requisit del binari o dorsal seleccionat. Una característica amb un nom similar, un àlies o una etiqueta de tecnologia àmplia no és suficient.
4. Confirmeu que l'aplicació ha seleccionat la implementació prevista. Utilitzeu els seus diagnòstics documentats i una alternativa compatible quan no es compleixin els requisits.
5. Feu un únic canvi admès a la vegada i repetiu la mateixa càrrega de treball. Manteniu disponibles la configuració original i la via de recuperació.

Si la característica apareix a la llista però el programari no la pot utilitzar

Comenceu pel component exacte que falla. Una base de dades de maquinari descriu la capacitat registrada; el sistema operatiu o l'hipervisor poden exposar un entorn efectiu diferent. Un error d'instrucció il·legal també requereix investigar la instrucció defectuosa real i la compilació del binari, perquè una corrupció o una instrucció no admesa no relacionada poden produir un símptoma similar.

Instal·leu la versió d'aplicació, controlador o entorn d'execució admesa per a la plataforma exacta, i utilitzeu la compilació base o alternativa documentada pel fabricant si cal. Una actualització de programari no pot crear una instrucció que li manqui al processador. Els canvis de microprogramari i de polítiques de seguretat han de seguir el procediment del fabricant del sistema i un pla de recuperació en lloc d'una recepta genèrica d'optimització.

Característiques relacionades i distincions útils

SMAP · Execute Disable (NX) · Boot Guard · Control-flow Enforcement (CET)

Fonts i abast d'aquesta explicació

Intel 64 and IA-32 Architectures Software Developer's Manual · Funcions de seguretat d'Intel relacionades amb atacs d'execució transitòria

Aquestes referències estableixen el comportament arquitectònic i els requisits de programari. No verifiquen de manera independent cada valor de característica en una pàgina de model de maquinari enllaçada. Per al suport de models, utilitzeu l'evidència del fabricant d'aquesta pàgina i comproveu la configuració efectiva del sistema. Aquest article no proporciona cap data de prova de referència, certificació o revisió independent.

Relacionat

Aquestes entitats enllacen amb aquest article. El tipus es mostra a cada enllaç.

Fonts i verificació

Propietat editorial: Feex. No s'ha registrat cap data de revisió independent. Com investiguem.

• Intel 64 and IA-32 Architectures Software Developer's Manual · Els volums 1 i 2 descriuen les famílies d'instruccions anomenades i CPUID; el volum 3 descriu l'estat, la paginació, VMX i els controls de protecció. La documentació d'arquitectura no estableix el suport per a un model en particular.
• Funcions de seguretat d'Intel relacionades amb atacs d'execució transitòria · Identifica Intel OS Guard amb SMEP. Això és diferent de SMAP, tot i que algunes etiquetes de característiques importades barregen aquests noms.