Apple описала, як Secure Exclaves ізолюють камеру й мікрофон
Apple опублікувала докладний опис Secure Exclaves — архітектури безпеки у своїх чипах. Вона має тримати дані камери й мікрофона для фонового розпізнавання окремо від основної операційної системи.
Які функції й пристрої захищені
За даними Apple, Secure Exclaves охороняють розпізнавання людей у HomeView, а також функції Siri Recap і Live Rewind. Ті самі механізми стежать за індикаторами камери й мікрофона в iPhone 18 Pro, iPhone 18 Pro Max та iPhone Duo. У MacBook Neo і HomeView вони відповідають за індикатори камери.
HomeView — розумний дисплей, який Apple представила нещодавно. Він уміє розпізнавати обличчя та голоси користувачів. Фонове сприйняття, тобто робота без прямої команди, потрібне і для простішого випадку: пристрій чекає на фразу «Hey Siri».
Що означає ізоляція
Exclave — окреме середовище виконання, яке обробляє зображення й звук поруч з рештою пристрою, але не разом з нею. Apple пояснює: дані, оброблені в такому середовищі, недоступні основній ОС, застосункам і самій компанії.
Конструкція тримається на трьох вимогах. Основна система не може витягти чи змінити те, що обробляє exclave. Через межу проходить лише чітко визначений набір відомостей. Користувач має бачити, що сеанс сенсора активний, і ОС не може цьому заважати.
Що саме проходить через межу, Apple показала на прикладі HomeView. Основна ОС отримує лише результат розпізнавання: ідентифікатор людини, її положення й рівень упевненості. Аудіо та відео не передаються. За даними Apple, у фоновому режимі до решти системи потрапляють лише окремі метадані.
Повний доступ і індикатор
Якщо застосунок просить повний доступ до сенсора, його пильнує окремий exclave. Він віддає дані тільки тоді, коли переконається, що індикатор увімкнений і світиться досить довго.
На iPhone індикатор — точка на екрані. Тут працює ще один exclave: він перевіряє, які пікселі справді намальовано на дисплеї.
Мікроядро й формальна верифікація
Самі exclaves працюють на мінімальному мікроядрі, побудованому на можливостях (capability-based). До нього Apple поступово застосовує формальну верифікацію — математичну перевірку, що код поводиться так, як задумано. Вона виявила вади, які важко помітити, але які могли призвести до повної компрометації ядра. Вони були у багатьох підсистемах, і багато з них знайшли ще на ранніх етапах розробки.
Мікроядро досі активно розробляється й часто змінюється. Тому Apple не заявляє про повне покриття всіх аспектів ядра. За її словами, верифікацію застосовують поступово до різних його частин.
Джерело: SecurityWeek