Перейти до вмісту

SGX

Архітектурний довідникFeex

Intel SGX, Software Guard Extensions, надає засоби виконання анклавів із певною моделлю загроз і програмним інтерфейсом. Підтримки процесором недостатньо, щоб гарантувати можливість запуску програми анклаву на конкретній системі.

Що потрібно знати

Intel SGX, Software Guard Extensions, надає засоби виконання анклавів із певною моделлю загроз і програмним інтерфейсом. Підтримки процесором недостатньо, щоб гарантувати можливість запуску програми анклаву на конкретній системі.

Як це працює

SGX визначає пам'ять анклаву та механізми входу/виходу, з кешем сторінок анклаву, яким керує платформа та ОС. Програма анклаву розділяє довірені та недовірені компоненти й може використовувати атестацію для підтвердження ідентичності анклаву. Обсяг доступної пам'яті анклаву та підтримувана політика запуску залежать від конкретної платформи.

Де це корисно

Програма може розміщувати чітко обмежені обчислення та секретні дані всередині анклаву, вважаючи навколишній хост таким, що перебуває за межами межі довіри. Введення-виведення, недовірені вхідні дані, поведінка під час винятків і захист від побічних каналів усе одно вимагають окремого проєктування.

Як перевірити підтримку та активацію

Перевірте біт 2 у CPUID.07H.00H:EBX та інформацію специфічного для SGX листка CPUID 12H, після чого підтвердьте налаштування мікропрограми, підтримку драйвером/середовищем виконання та вимоги програми до атестації. Дотримуйтеся підтримуваної конфігурації саме цієї платформи.

Можливості, активацію та примусове застосування слід перевіряти окремо. Процесор може підтримувати захист, тоді як ОС, програма або політика віртуальної машини не активують його. Поле підтримки в базі даних не є свідченням атестації працюючої системи.

Чого ця функція не гарантує

Позначення SGX не визначає деталі SGX1/SGX2, гнучке керування запуском (flexible launch control), доступність служби атестації чи конкретний обсяг пам'яті анклаву. Воно не робить довільні немодифіковані програми конфіденційними та не усуває всі побічні канали.

Сумісність і продуктивність на практиці

Підтримуйте ОС, прошивку та відповідне середовище виконання в актуальному стані. Якщо захист виявляє проблему сумісності, спочатку скористайтеся засобами діагностики постачальника та підтримуваними оновленнями. Загальне перемикання захисту може вплинути на непов'язані програми та має відповідати чіткій політиці розгортання та відновлення.

Практичний контрольний список для верифікації

  1. Зафіксуйте точну модель процесора або платформи, а також версії використовуваної програми, ОС і середовища виконання. Збережіть точне формулювання фактичної помилки або вимоги.
  2. Звіртеся з документацією виробника для цієї точної моделі, потім перевірте фактичні можливості та стан активації в середовищі, де виконується програма.
  3. Порівняйте кожну вимогу вибраного двійкового файлу або бекенда. Схожої назви функції, псевдоніма чи загального позначення технології недостатньо.
  4. Переконайтеся, що програма вибрала призначену реалізацію. Використовуйте її задокументовані засоби діагностики та підтримуваний резервний варіант, якщо вимоги не виконуються.
  5. Вносьте по одній підтримуваній зміні за раз і повторюйте те саме робоче навантаження. Зберігайте оригінальну конфігурацію та можливість відновлення.

Якщо функція вказана, але програмне забезпечення не може її використати

Почніть із компонента, у якому саме стався збій. База даних обладнання описує зафіксовані можливості; операційна система або гіпервізор можуть надавати інше фактичне середовище. Помилка неприпустимої інструкції також потребує дослідження фактичної інструкції, що викликала збій, і двійкової збірки, оскільки пошкодження даних або непов'язана непідтримувана інструкція можуть викликати схожий симптом.

Встановіть версію програми, драйвера або середовища виконання, яка підтримується для цієї конкретної платформи, і за потреби використовуйте задокументовану постачальником базову або резервну збірку. Оновлення програмного забезпечення не може створити інструкцію, якої немає в процесорі. Зміни у прошивці та політиках безпеки повинні відповідати процедурі виробника системи та плану відновлення, а не загальним рецептам оптимізації.

Джерела та межі застосування цього пояснення

Intel 64 and IA-32 Architectures Software Developer's Manual · Intel SGX developer reference implementation

Ці довідкові матеріали визначають архітектурну поведінку та вимоги до програмного забезпечення. Вони не перевіряють незалежно кожне значення функції на сторінці пов'язаної моделі обладнання. Щодо підтримки моделі використовуйте дані виробника на цій сторінці та перевіряйте фактичну конфігурацію системи. Ця стаття не містить бенчмарків, сертифікації чи дат незалежного огляду.

Джерела та верифікація

Власник авторських прав: Feex. Дата незалежної перевірки не зафіксована. Як ми проводимо дослідження.

  • Intel 64 and IA-32 Architectures Software Developer's Manual · Томи 1 і 2 описують зазначені сімейства інструкцій і CPUID; Том 3 описує стан, сторінкову організацію пам'яті, VMX і засоби захисту. Документація з архітектури не підтверджує підтримку для конкретної моделі.
  • Intel SGX developer reference implementation · Офіційний проєкт SDK/середовища виконання та довідкові матеріали для розгортання анклавів. Точні вимоги до платформи й атестації залежать від конкретної програми.

Чи була ця стаття корисною?

Достатньо відповісти "так" або "ні". За бажанням виберіть причину або додайте коротку примітку.

Чи була ця стаття корисною?