Оценка на фърмуер
Предоставяте фърмуер или пакет за обновяване. Анализираме файловете, изследваме съответния код и проверяваме констатациите според наличния достъп.
Подходящо начало: версия преди пускане или фърмуер от доставчик.
Фърмуер / Вградени системи / Продуктова сигурност
Тестове за проникване във фърмуер и вградени системи.
Проверете фърмуера, който доставяте, и устройството, което го изпълнява. Обратно инженерство, емулация с QEMU и хардуерни тестове с възпроизводими доказателства, практически корекции и включен повторен тест.
Започнете с фърмуер, устройство или нова версия. Можем да подпишем NDA преди споделяне на чувствителни материали.
ФЪРМУЕР / ОБРАТНО ИНЖЕНЕРСТВО
Какво разкрива доставеният фърмуер?
Разопаковаме файлови системи и двоични файлове. Проследяваме тайни, настройки на услуги и чувствителна логика. Разграничаваме съвпаденията по компоненти от потвърдените уязвимости.
ЕМУЛАЦИЯ / ДИНАМИЧЕН АНАЛИЗ
Какво се случва при изпълнение?
Емулираме поддържани компоненти или цяла система, когато е възможно. Наблюдаваме изпълнението и проверяваме поведението, като описваме ограниченията на периферията и средата.
УСТРОЙСТВО / ХАРДУЕРНИ ИНТЕРФЕЙСИ
Кои защити работят върху хардуера?
Проверяваме приложимите UART, JTAG/SWD и интерфейси към паметта. Тестваме стартирането, обновяването и изпълнението; инвазивните техники се разрешават отделно.
От фърмуера до хардуераЕдин ангажимент с ясен обхват
Доказателства преди предположенияВъзпроизводимо въздействие и ясни ограничения
Включен повторен тестВ договорения обхват и срок
ПРОДУКТОВА СИГУРНОСТ
Фърмуерът е отправната точка. Продуктът е целта.
Ключ във файловата система, командна обвивка през порт за диагностика или неправилно проверено обновяване могат да нарушават различни граници на сигурност. Изследваме какво действително позволява всяко наблюдение в конкретния продукт и начин на употреба.
Съчетаваме статичен анализ, обратно инженерство, емулация и тестове върху реални устройства според целта. Преглед с достъп до код, комуникация с облачни услуги и придружаващи приложения се включват изрично. Достъпът до едно устройство не разрешава тестване на всички свързани системи.
ТИПОВЕ ПРОДУКТИ
Какви устройства и продукти тестваме.
От умен дом до зарядна станция: определяме обхвата според фърмуера, интерфейсите и границите на доверие на конкретния продукт.
Умни домове и свързани устройства
Хъбове, умни брави, термостати, ключове и сензори. Проверяваме фърмуера, първоначалното свързване, локалното управление и доверието към приложения или облачни услуги.
Зарядни станции и контролери за електромобили
Фърмуер, административни интерфейси, данни за достъп, обновяване и комуникация със сървърната платформа, включително OCPP, когато се използва и е в обхвата.
Мрежови и edge устройства
Рутери, точки за достъп, защитни стени и шлюзове. Вградени услуги, административен достъп, конфигурации, обновяване и идентичност на устройството.
Индустриални шлюзове и контролери
Industrial IoT шлюзове, преобразуватели на протоколи и вградени контролери. Тестваме фърмуера и интерфейсите в договорена лабораторна или представителна тестова среда.
Сградна автоматизация
Контролери за управление на сгради, HVAC интерфейси, свързани измервателни уреди и панели за контрол на достъпа. Локални права, съхранени тайни, протоколи за управление и сигурност на обновяването.
Камери и свързани устройства за сигурност
IP камери, записващи устройства, домофони и четци. Фърмуер, диагностичен достъп, удостоверяване, достъпни услуги и защита на записите и административните функции.
За всеки ангажимент уточняваме моделите, хардуерните ревизии и версиите на фърмуера. Облачни платформи, мобилни приложения и безжични протоколи се включват по договорка. Тестът на устройство не разрешава автоматично тестване на работеща сграда, зарядна мрежа или индустриален обект.
ОБХВАТ
Какво можем да проверим
Фърмуер и двоичен код
Файлови системи, двоични файлове, embedded Linux, bootloader и чувствителна приложна логика. MCU/RTOS цели се договарят според архитектурата и достъпа.
Емулация и изпълнение
Анализ с QEMU, когато е приложим, наблюдение на изпълнението и целеви входни тестове. Разграничаваме емулираното поведение от потвърденото върху устройство.
Стартиране и обновяване
Проверка на подписи, обработка на пакети, политика за версии и връщане назад, режими за възстановяване. Изводите за хардуерните защити изискват подходящ достъп и доказателства.
Тайни и идентичност
Вградени пароли, ключове, сертификати, първоначално конфигуриране и правата на идентичностите на устройствата.
Хардуерни интерфейси
UART, JTAG/SWD, четене на памет и настройки при стартиране според устройството. Деструктивните действия се договарят предварително.
Свързаният продукт
Административни интерфейси, протоколи, придружаващи приложения и облачни API, когато са изрично включени.
НАЧИН НА РАБОТА
Три начина да определим обхвата.
Изберете според наличния достъп и решението, което трябва да вземете. Всяка оферта определя целите, методите и резултатите.
От първия файл до проверената корекция.
Обхват и подготовка
Договаряме продукта, версиите, началния достъп на нападателя, предоставения хардуер и безопасните условия за теста.
Извличане и анализ
Картографираме интерфейсите и границите на доверие. Разопаковаме, изследваме кода и емулираме, когато е полезно; описваме ограниченията.
Доказателства и доклад
Потвърждаваме констатациите в наличната среда и отделяме доказаното въздействие от непроверените последици.
Корекции и повторен тест
Обсъждаме резултатите с инженерите, приоритизираме поправките и повтаряме договорените проверки върху коригираните версии.
ПРИМЕРЕН РЕЗУЛТАТ / PDF на английски
Вижте доказателствата зад оценката.
Заявете по имейл пълния илюстративен доклад: обобщение, покритие, пет подробни констатации, корекции и план за повторен тест. PDF файлът е на английски.
- Обхват и начални предпоставки
- Статични, емулирани и хардуерни доказателства
- Възпроизвеждане и ограничения
- Корекции и критерии за повторен тест
Синтетичен лабораторен пример. Не е реален клиентски ангажимент или изпълнен тест. Не разкрива действителни клиенти, производители или данни за достъп.
Получете примерния доклад по имейлРЕЗУЛТАТИ
Какво получават вашите инженери.
- Обобщение на рискаКакво е демонстрирано, кои предпоставки имат значение и какво трябва да решите преди пускане.
- Възпроизводими констатацииЗасегната версия и компонент, произход на доказателството, стъпки за възпроизвеждане и нарушената граница.
- Покритие и ограниченияКакво е проверено, кои защити са издържали на договорените тестове и какво не може да се заключи от емулацията или наличния хардуер.
- Корекции и повторен тестПрактически промени, техническо обсъждане и потвърждение на съобщените поправки в договорения срок.
Често задавани въпроси
Преди да ни изпратите устройство.
Може ли да започнем само с фърмуер?
Да. Фърмуер или пакет за обновяване позволява анализ на файлови системи, двоичен код, тайни и конфигурации. Динамичната проверка зависи от архитектурата, формата, шифроването и средата за изпълнение. Описваме какво не може да докаже оценката само по файл.
Емулирате ли с QEMU?
Да, когато архитектурата, ядрото, потребителската среда и периферията позволяват полезна емулация. Може да емулираме процес, отделни компоненти или по-пълна система. Това не заменя проверката върху устройство, когато изводът зависи от хардуера или настройките при стартиране.
Можете ли да извлечете фърмуера от устройство?
Договаряме извличане през налични интерфейси за диагностика или памет, режими за стартиране и възстановяване и работа по платката. Успехът не се приема за гарантиран. Защитите срещу четене, шифроването, корпусът и необходимостта от деструктивни действия влияят върху подхода.
Може ли тестът да повреди хардуера?
Някои техники по платката могат да променят или повредят устройството. Уточняваме писмено разрешените техники, резервните бройки, възстановяването и условията за спиране. Оценката на фърмуер не включва деструктивни действия по подразбиране.
Необходим ли е изходният код?
Не. Работим както само с двоични файлове, така и с достъп до код. Символи, информация за компилацията и документация могат да подобрят покритието; наличните материали се описват в офертата.
Какво включват проверките при нови версии?
Първоначална оценка, последвана от анализ на промените, целеви тестове и проверка на поправките за договорени версии. Определят се продуктовите семейства, броят версии, включеното време и сроковете за реакция. Това не е неограничено изследване или гаранция за липса на уязвимости.
Примерният доклад от реален клиент ли е?
Не. PDF файлът на английски съдържа измислен лабораторен продукт и синтетични доказателства, обозначени в целия документ. Той показва структурата и техническата дълбочина, без да представя реален ангажимент.
Какво е нужно за оферта?
Нечувствително описание на продукта, архитектура и ОС, ако са известни, налични файлове или устройства, важни интерфейси, цел и срок. Използвайте формата само за описание на обхвата. Уреждаме NDA и защитено предаване преди изпращане на фърмуер, ключове или пароли.
Разкажете ни какво разработвате.
Фърмуер, устройство или програма за нови версии. Ще договорим какво да проверим и какви доказателства са ви нужни.
NDA и защитено предаване
Не качвайте фърмуер, пароли или ключове през публичната форма. Ще уговорим защитен канал и условия за устройствата.
Как защитаваме информацията ви