EG
«Операционная система открытая, а вот Google^W Huawei Mobile Services — нет»
Size: a a a
2020 September 12
EG
«Кстати, без них у вас ничего не заработает»
EG
https://consumer.huawei.com/en/press/media-coverage/2019/huawei-new-operating-system-harmonyos/
> The operating system will be released as an open-source platform worldwide to encourage adoption.
> The operating system will be released as an open-source platform worldwide to encourage adoption.
YM
«Операционная система открытая, а вот Google^W Huawei Mobile Services — нет»
классика жанра
CC
как они будут свою слежку включать с бекдорами?
В опенсорс аппах кучу бекдоров
CC
Просто их еще найти надо)
CC
И понять что это бекдор
PO
В опенсорс аппах кучу бекдоров
+++++
CC
А вот формально верифицированное ядро это интересно. На чём они его писали? Как верифицировали?
На С, понятное дело
CC
Вряд-ли на Ada или Java)
PO
А вот формально верифицированное ядро это интересно. На чём они его писали? Как верифицировали?
У нас был выборный курс по автоматической формальной верификации
/
Просто их еще найти надо)
это зеро дэй называется
CC
это зеро дэй называется
...
CC
Любая ненайденная уязвимость это zero-day
CC
Если ты хуячишь "бекдоры" либо любые другие уязвимости они по определению не zero-day
/
ну если бекдор не нашли, то он еще нулевого днч
/
бля, помню, как в systemd при авторизации можно было какой-то левый символ набрать и залогиниться
CC
ну если бекдор не нашли, то он еще нулевого днч
Еще раз
CC
Zero-Day - ненайденная АВТОРОМ кода уязвимость
CC
Если автор вложил сам уязвимость, она по определению не zero-day