Поэтому мы не можем противимо.
Всем привет. Будет ли про опенсорсы, не совсем про опенсорсы, про хоккеные и про не совсем хоккеные.
Ну, в общем, сейчас все увидите.
Название доклада на экране. Спасибо, что остались.
И если меня слушаете, то я такой.
Нет времени объяснять, я не очень хорошо умею рассказывать про себя.
Я предпочитаю, чтобы за меня говорили мои дела.
В контексте данного мероприятия, хотел бы сказать, что я обожаю железо,
хотя не электронщик, люблю прошивки, софт, системный софт,
все, что запускается между железом и тем, что видит пользователь.
И обожаю сообщество, идеологию свободного ПО и подобного рода мероприятия.
Вот у меня есть план моего сегодняшнего выступления, я постараюсь его придерживаться, но там как пойдет, потому что у меня на самом деле очень много тезисов, которые хотелось бы озвучить.
И в начале по традиции дисплеймеры. Здесь не будет ноликов, здесь не будет единичек и также здесь не будет лалаймок. Один из предыдущих докладчиков говорил, что он не копилит. Вот я не лалаймлю вообще, хотя судя по панельной дискуссии, наверное, уже давно пора.
Потому что я из тех людей, для которых крита это в первую очередь критография
А токен это не то, что современные CTF разжигают жерлова тасков
Чтобы достать какой-то очередной флаг
Потому что по-другому уже просто в современных CTF не получается
А в контексте данного доклада токен это физическое отдельное устройство
Для двухфакторной аутентификации
Из чего состоит такое устройство?
Ну, очевидно, из CardWare, и из Software.
Но почему?
А именно, зачем нам нужно еще одно устройство?
Иван, вот смотри, мы и так обвешаны умными устройствами.
У нас есть смартфоны, у нас есть умные браслеты,
у нас чего только нету.
Нафига мне еще одно устройство, тем более для футфакторки,
если у нас есть такие замечательные средства, как SMS и отдельные приложения.
Отдельные приложения для ОТП, кстати, тоже есть и консорсные. Я вот, например, рекомендую Aedes.
Он и консорсный и достаточно богатый кофича, но это не реклама. Так вот, у нас есть смс.
В чем проблема? Есть связь, есть смс, есть ОТП. Нету связи, нет смс, нет ОТП. Нету ОТП, нету ОТП.
То же самое с приложением на смартфоне. Смартфон может разрядиться, смартфон может не включиться по каким-то причинам,
и авторизация говорит «до свидания».
Как работают токены?
Ну, если архитектурно, то примерно как-то так.
Тут сейчас, наверное, проснулись сетевики,
ну, потому что что-то новое и принципиально придумать сложно.
Слоеный пирог, он везде плюс-минус один,
потому как байтики ходят по проводам и обратно.
Но все же как?
Я люблю себе задавать вопросы,
как, почему, зачем, как вы могли уже понять.
Если совсем упрощенно. Вот пользователь, наслушавший, что ToFi с отдельными токенами это круто, пошел себе купил. Что он должен сначала сделать? Сначала он должен, естественно, на ресурсе, на который он хочет ходить при помощи токена, зарегистрировать этот токен, чтобы ресурс знал, что по такому токену теперь на него можно ходить.
Дальше очень-очень упрощенно. Знакомые криптографы и хардкорные железячники меня за такое упрощение просто сожрут заживо, но это очень упрощенно.
При посещении ресурса ресурс отправляет на токен челлендж. На токене получается челлендж, считается респонс и отправляется обратно на ресурс, где ресурс делает вериф.
Что здесь очень важно подчеркнуть красным?
То, что ключ физически не покидает устройство
В этом, собственно, вся задумка токена, в этом вся идея
Но, если ресурс не знает о ключе, как же он тогда делает вериф?
Ну, тут на помощь приходит матешная клипта, которая позволяет нам при помощи кэш-функции
Однозначно идентифицировать, не зная ключа, что это именно тот токен
Ну и вот нет верифа fail, есть вериф ауф.
Ну в смысле ауф это не призыв волка сменов, это аутентификация сокращенно.
Что по конкретным производителям?
Ну тут смотря какой вендор, смотря какие моделсы.
Тут у нас секундная рекламная пауза и супер игра.
Какой самый популярный вендор?
Будете угадывать по буквам или назовете все слово целиком?
Ну это конечно же юбик.
Кстати, а у кого они есть?
Поднимите руку, пожалуйста.
Давайте интерактива добавим, не стесняйтесь.
Ага, ага, понял.
Ну, только две руки, но здесь аудитория не очень.
Большая, в смысле, в смысле большая.
Извините, я очень нервничаю.
Вот, спасибо, что слушаете.
Я когда трактору еще не такие коры могу выдавать.
Да, юбики, они на рынке давно.
В них реализовано, чего только в них не реализовано, но, естественно, срок не маленький. Есть практически все современные стандарты аутентификации и авторизации. Но, да, вот за авторизацию меня тоже сожру, потом после доклада коллеги.
Они полностью проприетарны
Как аппаратно, так и железно
Но в чем здесь
Опять же особенность
В том, что несмотря на то, что они проприетарны
Под них
Как при помощи сторонних разработчиков
Так и самой компании
Написана куча всякого софта
И некоторый этот софт может работать
Даже с теми ключами, которые не юбики
Почему? Потому что возвращаемся
к моделям различных протоколов на различных уровнях.
За счет того, что большинство протоколов, спецификаций
у нас сегодня открыто, мы можем делать, скажем так,
допен-реплесмент. Нам не нужно разрабатывать с нуля
всю инфраструктуру под токен, если мы будем делать токен
согласно уже существующим спецификациям.
И, собственно, FIDO – это акроним альянса, в который
входят различные компании, которые курируют открытые стандарты, документацию, API.
И если вы хотите реализовать свой токинг, вы это относительно легко можете сделать.
И тут мы переходим к теме open-source и важности открытости не только в протоколах, но и в софте.
Что такое свободный софт? Идеологический.
Это софт, который удовлетворяет четырем свободам.
запускать программу, изучать ее,
модифицировать, распространять измененное.
Именно в исходных кодах.
А если перекладывать эти принципы
на железо, то как это
может выглядеть?
Когда у нас есть какое-то устройство,
есть открытый дизайн,
есть доступные схемы,
и даже несмотря на то, что отдельные
узлы могут быть проприятарными,
например, какие-то компоненты,
микроконтроллеры, микропроцессоры,
сама схема,
Сам принцип он открыт, он поддерживается такое устройство, такая девайсина, открытым софтом.
И вот один из моих любимых примеров это...
А, да, здесь этого нету.
В общем, есть такая компания InversePuff, они сделали USB Armory.
Это по сути USB...
Это по сути Raspberry Pi в формате USB флешки,
но она полностью поддерживается всем тем, что есть в Апстриме.
То есть вам даже не нужно возиться с патчами.
Но какие есть альтернативы?
Доклад-то вроде как про токены и про open source.
Но сначала то, о чем я говорить не буду.
И тут такие бакхантеры опять.
Ой, не здесь, а вот тут скоро.
Да емае, сколько уж можно.
Librand Key – это, по сути, ребренд.
Не траке, про нетраке будет дальше.
Он ли кей, скажем так, как проект закончился уже после того,
как я вообще о нем услышал.
Причем здесь
Trezor и Ledger. Это
отдельные аппаратные холодные
криптокошельки, если кто не знает.
При том, что некоторые
производители в качестве
дополнительной фичи на
свои криптокошельки добавляют
возможность ОТП. Но поскольку
это все-таки out of scope
и сами устройства изначально
разработаны для другого,
я про это говорить не буду.
Но, что здесь
еще тоже важно упомянуть, особенно тем, кто интересуется
платформенной программно-аппаратной безопасностью,
очень настоятельно рекомендую
ознакомиться с этим исследованием. Здесь ребята
поломали и Трезер, и Ledger, и что-то еще. И тут вот
обратите внимание, надо Ledger вычеркнуть, потому что
он прокредитает. Но несмотря на то, что Трезер открытый,
они пытаются быть как максимально открытым
криптокошелком, а Ledger закрытый. И там, и там нашли
уязвимости. Это я немножко забегаю вперед,
но еще потом поговорим, если время будет,
о
категории о том, безопасен ли
open source пропитали.
Но, собственно, какие
альтернативы я говорить буду.
Вот эти ребята,
но началось все с вот этого
проекта, когда
в январе 2016 года
Конор Патрик
выложил свой гитхаб,
схемы и инструкции
по тому, как собрать вот такой Fido токен.
Ну да, конечно, по сравнению с видом корпоративных юбиков не очень,
но это было только начало.
Он выложил это на гидкар, как я сказал.
Вот тут вот примерно рассыпуха, что нужно было накупить, чтобы это собрать,
и вся плата выходила в 3 доллара.
То есть на 300 бакс можно было собрать примерно штук 100.
позже
Конок вместе
со своими друзьями, коллегами,
товарищами собрал группу,
они основали компанию,
провели
краудфандинг, собрали денег
и где-то году
2008 выпустили,
как они заявляют, но насколько мне известно,
это так, первые в мире
опенсорс-фитрод токены.
И тут вот то, про что я говорил,
несмотря на то, что
в качестве основного
микроконтроллера
используется пропоретарный STM32.
Да, на него есть
каташиты, но
сама
концепция этого микроконтроллера
закрыта. Все, что нужно,
они открыли.
По сафарному
стеку прошитка была
написана на СИАХ,
и там был очень прикольный
питон туллинг. Потом несколько
время будет, и интересно, я объясню, в чем там прикол.
Они успешно это зарелизили, начали отправлять пользователям,
потом такие посмотрели и подумали, ну, конечно, все
хорошо, но надо переделать.
И пришли со второй ревизии в 2021 году.
Под вторую ревизию они тоже начали делать сборы
по краудфаундингу, но тут, как еще, может быть, кто-то
Как помнят, пришла в конце года ковидло, и это им подловило планы.
То есть не столько ковидло, сколько нарушение цепочек поставок, потом последовавший за этим чепагидон.
И это была одна из причин, по которым они, к сожалению, на данный момент скорее вертвы, чем живы.
Но в чем особенность? Как вы знаете, птица Феликс, восставшая из пепла, это дало толчок другому проекту.
Я про него позже упомянул.
И под вторую ревизию они решили выкинуть весь саппарный стек, который был написан до этого.
Взяли Rast, он тогда как раз становился ломным, особенно по причине своих security фичей.
И на базе Rasta они запилили свою собственную как бы прото-тость, назвали ее трасса.
И весь пулинг у них, если я правильно помню, на росте также не написан.
Но эту историю мы пока отложим в сторону.
Параллельно был основан такой проект как OpenSK.
OpenSK был от Google, и здесь ребята пошли немножко другим путем.
Потому что что делали SoloKiss? Они дизайнили железо с использованием известных компонентов, отправляли это на заводы, заводы их делали, отправляли им обратно, они их прошивали.
Google пошел другим путем, они подумали, вот смотрите, у нас сейчас чипогидон разгарит, а давайте мы вместо того, чтобы что-то кастомное дизайнить, мы просто сам софт напишем на то железо, которое общедоступно.
Они взяли NRF52 840, это широко известный в русских кругах, чип от Нортика, и посмотрели, что.
А смотрите, у них есть дев-киты.
Ну, конечно, такую дев-борду использовать для токена как-то не ок,
но примерно та же дев-борда, просто немножко более стойная, есть в формате USB-флешки.
И они подумали, давайте, давайте, мы будем беречь вот именно под конкретную модель.
И в процессе даже сделали громкий анон в своем блоге, выкатили это у себя на гитхабе, но как вот они добавили сразу, так эта плашка и висит, что ну как бы и гугл, но не гугл.
То есть это все R&D, если там что-то не так, то сами виноваты.
И мягкой на этом торте будет то, что NRF внутри себя, вот именно этот чип, реализует криптосо-процессор, который считает крипто-матешу очень-очень быстро.
Но они до сих пор всю крипту реализовали софт-квардно.
Вот почему? Ну, пока до сих пор не добили этот никак.
И вот вышли в релиз в 2020 на USB девайсе от Nordic,
но при этом еще до релиза OpenSK.
Была такая компания MakerDire из Шенженя,
и они делали тоже на базе NRF похожие платы для отладки для умного дома
и прочего. Ну и поскольку чип тот же, тот же,
пленевка практически та же, та же, OpenSK был достаточно
быстро портирован и на их устройство тоже.
В качестве софтварного стека используется Tocos,
это другая фриртось, написанная на RASTE,
тоже вот примерно под такое приложение,
под опплитейшн в подобных целях.
Так, и по поводу Google, не знаю, стоит ли на этом останавливаться, но тут просто вот что хотел бы.
Ладно, совсем быстро.
Google, как и Ubiki, решили выйти на рынок ключиков.
И зарелизили аж уже две релизии своих ключей, которые назвали Titan Security Key.
Если вы знаете, у Google есть своя линейка пикселей.
В последних пикселях есть ARM процессор, который называется Titan, и у этого процессора есть криптографический со-процессор, который у них называется Titan M.
Так вот, Titan в пикселе, Titan Security со-процессор и вот этот Titan ключ – это три разных Титана.
Я не знаю, что там происходит в гугле с неймингом, видимо, они очень любят мифы Древней Греции.
Ну вот, зачем вам эта информация, я не знаю, но вот я хотел с вами ей поделиться.
И тут мы подходим, так сказать, к хедлайнеру моего рассказа.
Это компания Neetroki, которая начиналась еще в 2009 году.
Естественно, когда никаких фидо-альянсов даже в проекте не было,
но они начинали как раз с того, что тогда было модно и востребовано в бизнесе,
а именно различные смарт-карты.
Они начинали именно с этого, поэтому у них очень богатый опыт.
И когда они увидели, что делают ребята из Sookie со второй ревизии,
они к ним активно подключились.
И у них шел очень уникальный в мире свободного железа симбиоз,
когда, казалось бы, конкуренты делают один и тот же продукт.
Вроде как коммерческие, должны грызть друг другу глотки.
Но в лучших традициях научно-промышленного сотрудничества
они не просто мешали или не помогали друг другу,
они активно друг с другом сотрудничали.
И вот, например, дательные зрители могли заметить, что а Хорбат это та же самая.
Почему? Потому что когда выходил второй соло-кейс, в проекте уже был не тракий.
И они, глядя на то, что делает соло-кейс, попытались в не тракии избежать всех тех ошибок, которые, к сожалению, оказались фатальными для соло-кейс.
И даже трассы – это их совместная разработка.
Так, что здесь еще можно добавить?
Дальше. А, да.
Нитроки это, можно так сказать, как лайнер,
а гнук это такой андердог.
Сейчас вы поймете, почему я его сюда добавил.
Это не фидо, это смарт-карта.
Если кто помнит, вот в корпоративном секторе были очень популярны финпады,
у финпадов был отдельный слот под смарт-карты.
Вот смарт-карта на финпаде это не то, что делает гнук,
вот совсем не то.
Но принцип примерно тот же. Что позволял делать Гнук?
Гнук позволял вам в дешевое устройство запихать ГПГ-ключи, чтобы потом подписывать имя и электронную почту,
и с Сашки ключи, чтобы потом ходить на сервера.
Но все, наверное, знают эту картинку.
Почему я ее сюда добавил?
Но смотрите, на чем запускается гнут?
Возвращаемся к микроконтроллерам.
Вот есть микроконтроллер от STM.
Его я уже упоминал не раз.
Чтобы отлаживать железо, софтварных способов отладки иногда недостаточно.
Для этого нужен другой аппаратный отладчик, программатор.
Чтобы удобно, комфортно отлаживать STM,
нужен пропитальный закрытый дорогой Seeger от J-Link.
Восточные товарищи, естественно, быстро подсуетились и выпустили клон. Так вот, внимание, наберите воздух как грудь.
GNUK – это проект, который запускается на клоне программатора для STM. Тут можно подумать, ну, а какая разница, на чем его запускать, если мы берем устройство схожее с тем же микроконтроллером, ну, все же будет хорошо.
Но во многих инструкциях фигурирует гнук именно в контексте запуска на программателе, на таком дешевом.
Почему? Ну, потому что, во-первых, это уже дешево, это уже готовое,
и, в-третьих, возвращаемся в историю с OpenSK.
Зачем дизайне своего железа, если ты можешь просто софт задизайнику железа, который уже есть.
И бежит это все на таком стеке написанном на сяк.
Polar SSL — это одна из библиотек альтернативы OpenSSL.
И тут, возможно, возникает вопрос.
Иван, а что ты вообще такое несешь?
Ну блин, мы там какой-то хардкор пришли послушать.
Можно что-то посекурнее, по безопасней, по железячней.
Но вот смотрите, входим в дебри программно-аппаратной безопасности.
Есть такие термины, и уже относительно давно отчасти это применяется на больших наших обычных генерических компьютерах.
например, в виде Secure BOOTA, в виде гадов различных,
то есть для обезопасивания процесса загрузки, фирмвайли, целостности и прочее.
А как это можно применить к токенам, и причем здесь open source и безопасность?
Ну вот, смотрите, берем юбики, как я говорил, они полностью пропагентарные, полностью закрытые.
И вот та информация, которую я сюда добавил, потому что они запущены на Infineon чипах,
Эта информация получена не благодаря компании, а вопреки, благодаря усилиям независимых реверс-инженеров, которые что только с этими юбиками не делали. И тут возникает ситуация классического принципа безопасности через неясность, который любой вам начинающий криптограф скажет, он просто не работает. Он просто не работает.
Да, вы тут мне более нецентробно подсказывают, но я не буду.
К тому же, изначально с первых моделей Юбиков прошивка не обновляет юмая.
С одной стороны, ну вроде бы хорошо, тогда мы защищены от этих ужасных соплачей на такс, которые сейчас везде бахают.
Но в чем тут проблема? В том, что оно не обновляемое, оно не считываемое, оно не записываемое.
И тот юбик, который к вам приедет, вы даже не сможете сами лично удостовериться, а что там за прошивка зашита.
И при этом вы, если обнаружится какая-то серьезная уязвимость в программной части, все, что вы можете сделать, это выкинуть старый юбик и пойти купить новый.
Хотя, я не знаю, может быть, это часть бизнес-модели.
Ну, тут действует без опции невиновности.
И, исходя из предыдущих пунктов, такие ключи, проприетарные, совершенно не подлежат аудиту.
Либо, только как я уже сказал, мы их аудитируем по методу черного ящика, пытаемся что-то оттуда как-то достать.
А, да, кстати, по поводу достать.
Помните, я говорил про то, что ключ неизвлекаем.
Ну, так вот, можете забыть, ну как, не совсем, но, в общем, сейчас объясню.
Вот, ну хорошо, Иван, вот смотри, ты говоришь, ну секурно же, секурно, да,
должно же быть никаких уязвимостей, они же, наверное, все предусмотрели, ну так же, ну нет уже целыеешек, да.
Больше на слайд не влезло, да, спасибо, спасибо, я старался, вот, больше на слайд не влезло,
Естественно, здесь не все криты и не все нолики.
По каждому из них, да, больше, чем доклады я люблю, методоклады,
по некоторым из них можно читать полутора-двухчасовые доклады.
Потому что, например, что такое ROC Factorization Attack?
Это атака, которая позволяет вам вытащить с любви кей,
рса, приватную часть рса ключа для нового в АК, 2048 лет.
Вам для этого потребуется, конечно, несколько денежек, ну где-то там порядок 50-100 тысяч долларов, но я считаю, что это неплохо.
По уязвимости Euclid был выпущен почти 100 страничный доклад от компании Ninja Lab, который читается как просто компьютер-сайенс на грани научной фантастики.
Потому что ребята что сделали, если совсем вкратце? Декабрный чип полностью его сняли, настроили кучу электромагнитных датчиков и потихоньку считывали оттуда. Да, естественно, это лабораторные условия, естественно, это дорогое оборудование, ну где-то по 10-15 тысяч долларов.
Но смотрите, цена постепенно, атака на железо, она со временем снижается.
Потому что почему? Про это тоже хотелось поговорить.
Раньше как было?
Ну вот, делаем переполнение буфера, никаких защит нет, все отлично.
Потом что появилось? Потом появился SLR.
SLR появился, придумали рог-цепочки.
И так оно до тех пор, пока софт не стал относительно безопасным.
Когда закончились низковисящие фрукты в софте, что пошло дальше?
Ну, ребята начали ломать железо, а там оказался весь тот же процесс в миниатюре.
То есть если какую-то железку еще не взломали, это не потому, что там нет уязвимости.
Просто, возможно, по этой железке исследователи нашли какие-то более низко вещащие фрукты.
Но как от этого защищаться?
И тут на помощь приходят опен-соль и свободные прошивки.
Как это помогает?
Ну вот смотрите, если мы собираем прошивку из зарядом известных верифицированных исходников, то мы можем верифицировать как прошивку, так и бинар. У нас есть прозрачный контроль за цепочкой поставок того, что кладется в прошивку, потому что некоторые из этих уязвимостей, они случились по той причине, что не юбики накосячили и даже не производитель чипа, а накосячил подрядчик,
для чипов, который писал отдельную библиотеку. В итоге, это в одной из этих узелок, в итоге они эту библиотеку у Юбики просто выкинули нафиг.
То есть в случае с… Но, опять же, мы возвращаемся к проблеме того, что даже если сделан фикс, вы не сможете на непрошиваемый токен прошить прошивку с фиксом.
И тут вот то, про что я говорил вначале, о безопасности проприетарии и безопасности опенсорса.
На мой скромный взгляд, нет, это миф, что опенсорс безопасней.
Но тут важно понимать практическую ценность опенсорса.
То есть, что происходит при vulnerability management,
когда вы обнаружили какую-то критическую багу.
Точнее даже не вы, а производитель или исследователь у производителя.
У вас только один выход ждать, когда сам производитель починит,
сделает фикс, выкатит
апдейт и вы его
установите. В случае с
опенсорсом
менеджмент
существенно
сокращается и упрощается.
Вы, не дожидаясь производителя,
если у вас вся цепочка
поставок софта и
прошивок под вашим контролем,
просто берете этот фикс, накатываете
и ваши
волосы мягкие шелковистые.
Ну и тут вот
может быть немножко романтизма,
но
я люблю
свободное ПО за то, что
без него меня бы здесь не было.
Потому что это
наследие, это
образование и это даже
бизнес-возможности, как мы видим
по таким проектам SoloKey и NitroKey.
Почему? Ну вот смотрите, что касается
наследия.
Если бы SoloKey были закрытыми
проприетарными, то нейтрокия бы, возможно, даже не случилась.
Если завтра по каким-то причинам, вот Юбикс, сама
контора, все разработчики просто, ну, уйдут в отпуск,
уйдут в леса, сделают данншифтинг, как это сейчас
удобно, вы останетесь один на один со своими необновляемыми
и непропатченными профинами.
В случае с орган-сорсом, как это, опять же, показывает
пример соло-кис или нейтрокись, даже если одна компания
загибается, если проект действительно
нужный, важный и
другие пользователи готовы
в это даже вкладываться финансово,
то рано или поздно такой проект
будет подхвачен и продолжен.
Ну и с точки зрения образования
я вот здесь вижу много молодых
лиц, опять же, я
вот как сам будучи студентом
я просто не понимаю, как можно
системной инженерии учиться
на проприетарии. Да, у меня
у самого есть знакомый, которым
Хекс и Ассен читать проще, чем исходники.
Я не шучу, это не анекдот.
Они могут ковыряться целый час в ходе,
потом его скомпилить и за минуту найти то, что им нужно.
Но все равно открытость исходников,
открытость стандартов, открытость каких-то проектов
нас бы здесь сегодня не собрала.
Я так считаю.
А если говорить о том, как это применимо
к безопасности программно-аппаратным,
То, вот уже закрупляясь совсем, да? Ну хорошо, Иван, а вот если бы тебе дали неограниченное количество денег и неограниченное количество времени, чем бы ты занялся? Ну вот, одна из задач, из идей, как бы я строил процесс запашивания современных программно-аппаратных комплексов, да?
Во-первых, когда вы покупаете устройство, вот я так думаю, это лично мое мнение, а что если оно к вам вообще будет приходить чистым?
Что даже если там есть какой-то флеш, какой-то сторож, там будут нули, которые вы их можете верифицировать.
После чего вы берете верифицированную прошивку, ее исходники, все это собираете.
Если мы упариваемся по полной, то нужно не забыть про то, что еще и весь toolchain и toolset тоже должен быть верифицируем.
Генерируем свои ключи, подписываем прошивку, проживаем, и при этом еще, опять же, периодически, возвращаясь к пункту 0,
смотрим, что та прошивка, которую мы зашили, не поменялась.
что да, там не будет нулей, там будет бинар, но что этот бинар не мьютабился с момента нашего последнего использования.
И что самое-то интересное, частично это уже так или иначе сделано. Где-то меньше, где-то больше.
Это есть, повторюсь, в Trust-Boot решениях, в Secure-Boot решениях, в Attestation-Boot и прочих бутах.
Ну вот до покенов это пока не добралось, но я считаю, что это возможно на следующий логичный шаг.
Ну а как это все именно делать на практике, это уже совсем другая история.
Ну вот как-то так, если что-то... А у меня есть еще время? Как я вообще вложился?
Спасибо, что выслушали.
сейчас еще что самое важное опять же по поводу важности открытости с этих компонентов вот смотрите
Ну ладно, я тогда перемотаю сюда.
Вот смотрите, проаудит обладает то, что нельзя проаудировать.
Опять же, в случае с проприентарью я не могу взять какое-то устройство,
с которого даже флеш не сдампить, отнести его независимую венду,
не сказать. Дорогой мой друг, про аудируй,
пожалуйста. Он полгода
только лабу за 10 тысяч долларов
будет собирать, просто чтобы узнать, а что там
вообще за чин, чтобы растворить это все
правильно в кислоте, чтобы маркировка, допустим,
не потерялась, если она там еще осталась.
Вот. А в случае
с открытыми, свободными
решениями, которые публично
доступны, даже если
у нас есть аудит
от самого производителя,
ну, производитель, как лендер говорит, да,
вот смотрите, вот наш продукт,
Мы его показали таким-то ребятам, только полный репорт мы вам не покажем, но они там нашли такие-то цвешки.
В случае с опенсорсом это все прозрачно.
Даже если вы не доверяете одному аудитору, вы всегда можете взять схемы, даташиты, исходники и отнести его другому вендору, и он вам это все проаудирует.
И собственно соло, кис и нитро кис занимались и занимаются именно этим.
они периодически в полностью открытом режиме показывают исходники компаниям,
платят другим компаниям, чтобы они у них посмотрели, что у них все секурно.
И если там что-то не секурно, они моментально это фиксят,
патчат, заливают фиксы в прошивку и публикуют публичные отчеты.
Спасибо, спасибо. Надеюсь, не утомим.
Спасибо за доклад.
Два неудобных вопроса.
Вопрос первый.
То есть собрать заклады.
Вы предлагаете использовать чипы без защиты,
в пользу чипов, которые не обеспечивают никакой защиты от вытаскивания ключей.
Я правильно понял, что это заклады?
Нет, не совсем.
Вот смотрите, в чем опять же прикол, то что одно не противоречит другому, как бы это парадоксально не звучало.
Ключи-то пусть будут приватные.
А, ой, блин, у меня столько историй.
Сейчас сначала на вопрос отвечу.
В общем, одно не противоречит другому.
Почему? Потому что вот у юбиков, у них помимо варианта для, так сказать, рядовых пользователей,
Есть FIPS сертифицированные ключи. Это отдельная линейка. Что такое FIPS? Это североамериканский стандарт, что если ты хочешь вот эту всю PKI и токенную инфраструктуру поднимать в ГАЗУХе, то ты должен пройти FIPS.
Юбики этот фипс прошли.
Но даже в фипсе нет обязательного требования на несчитываемость или неперезаписываемость прошивки.
Во как.
То есть даже в фипсе понимают, что, казалось бы, газуха, принято ругать.
Но в фипсе понимают, что security true, abscurity – это не выход.
Секретом, это вот уже даже возвращаясь к бюсу нашему Шнайру, да,
секретом должен быть только ключ.
Как этот ключ зашивается в секьюри-элемент или не в секьюри-элемент, это уже вопрос архитектуры.
То есть прошивка может быть, в принципе, считываемой и обновляемой, но при этом ключ в теории может быть неизвыкаемым.
Вот такие системы нужно строить. Я надеюсь, я на ваш вопрос ответил.
Да, отлично. Как раз второй вопрос будет еще более неудобный.
как простому обывателю без лаборатории за 10 50 тысяч долларов проверить обеспечение того что
прошивка которого записывал на устройство записывает действительно прошивка окажется что я имею ввиду как
мы доказываем себе или используя наши это ключ и неважно что что на оборудовании обеспечения не
осталось программного хода, который позволит в дальнейшем
модифицировать возвращаемые данные или просто у нас
какие-то прошивки.
То есть суть не перезаписываемой прошивки в том, что если
устройство скомпрометировано, то лучше его уничтожить.
Ну да, то есть это опять же вопрос программы с площадь
поставок, это если отвечаем на хостик вашего комментария,
а если на начало отвечать, то ну да, это вот Trust
и шутся и Zero Trust никому нельзя верить мне можно.
Тут я с вами полностью согласен, у меня ответа нету.
Понимаете, в чем дело?
Я люблю такие доклады, когда в конце зрители не уходят с ответами,
а уходят с еще большим количеством вопросов.
Я считаю, что это на самом деле офигенно.
И тут можно только полуарно так думать, пообсуждать,
как верифицировать полностью, полностью открыто.
А, вот еще что забыл сказать.
Есть такой широко известный в узких кругах Банни Хуанг. У него была какая-то идея? Прекурсор. Это такой проект смартфона, который вы покупаете, он к вам приходит, и вы можете в домашних условиях вплоть до железа верифицировать, что там железо именно то, что декларируется.
Я смотрю, вы шарите, вы, наверное, знаете про этот проект, да?
Вот.
Ну вот человек головой кивает, да.
То есть как бы вопрос в ресурсах, вопрос в цене, вопрос в грамотной архитектуре.
То есть то, что ну вот все плохо, все пропало.
Я вообще сам критик по жизни и саркастичный, и очень токсичный.
Но вот я люблю думать конструктивно, и поэтому я даже не столько реберсер.
Я если что-то ломаю, то ломаю с той целью, чтобы понять, а как от этого потом защититься
Вот это самое hard to defense
Я с удовольствием сочу так
И там еще человек руки держит
Спасибо организаторам за время и за такой клевый метап
Извините, что я тут как с ноги в Олеся ДТМЛ со своим тут железом
Но в одном мероприятии сказано было
Приол, прискол, ботом, пайка, канифоль, схемы, прошивки
да пожалуйста
это тоже
обсудим вопрос
да только чуть позже пожалуйста
скорее всего это тоже обсудим вопрос
если приходится или яйцо
что-то в этом появится раньше
либо устройство с которым мы можем доверять
а в прошлом как с ним пойти
как проверить и репетировать всю цепочку
поставки оборудования
начиная от самого чипа
и заканчивая простите оборудованием
на котором это чуть дефицируется
танкиляторы и так далее
Опять же, это очень хороший вопрос. У меня на него нет ответа.
Он частично перекликается с тем, что мы обсуждали в рамках ответа на предыдущие вопросы.
Ну, Zero Trust во все поля. Как-то надо строить, надо думать, надо собираться.
вот опять же повторю здесь много молодых людей вот может быть кто-то из них в будущем что-то такое
на креативе у меня нет ответа но вы понимаете да что это фундаментальный вопрос компьютер саймс и
информационной безопасности фундаментальный а а а если вы не спросите вопрос есть небольшой
В принципе, в пульсосе сейчас обсуждается такой вызов, что сейчас, в силу того, что модельки и стали на критике очень большое количество грузиней веществ и ПО, то использовать ПО в бизнесе стало сложнее.
Почему? Потому что у тебя крутая версия ПО, скорее всего, будет запатчена разработчикам довольно оперативно, а в пульсосе, скорее всего, будет патчиться очень нерегулярно.
Ну, со мной от примера, Джикс или Губерна, да?
Как вы думаете, такой иск есть, нет?
А как с ними бороться?
Люди, которые делают open source, которые локали,
вот такое причинение двигает.
Нет, а вот смотрите, я же просто говорил, наверное, очень быстро.
Вот как раз таки, даже если самые тенеры open source не чешутся
при исправлении какой-то вязвимости,
И что не мешает вам самому, либо самому, либо найти кого-то, кто это сделает быстрее, чем официальный манитене, протащить такой фикс в индуструктуру и залатать дырки.
В случае с проприетарью вы просто будете ждать лендора, когда он почешется.
Тут управляем то, что вам возможно делать это каждую неделю, как соберем индукции.
То есть вы будете каждую неделю поднимать для того, чтобы убить текстом и фикс. Вот такой риск.
Ну это детей менеджменты. Я тут просто не вижу разницы с проприетарием.
Может быть я вопрос, я не понимаю.
То есть проприетари может себе позволить вычлено разработчику, который будет пачать каждую неделю по дню продукты.
Упенсорские.
Нет, ну есть. У него сонаркет. Ну тут у нас уже такой немножко поливор начинается.
Да, это обсуждение.
Были же случаи, когда…
Ой, как там было дело-то?
Ну вот есть, например, Google Project Zero.
Кто знает, это такая секьюрити-команда внутри Google.
Она расковаривает нулики.
И как минимум два раза они нарушили 90-дневный эмбарго,
зарелизировав информацию о баге, который еще не был починен Microsoft,
потому что у них не было на это времени и средств.
И вот Google решил, что в целях того, чтобы поторопить микрослоп,
вот мы это релизим.
А вы мне говорите, что вот у проприетарии есть возможность каждый день выпускать кофиксы.
Ну, это же немножко противоречит одно другому.
А у меня обратный вопрос.
вопрос вот что у вас например почтовый сервер
и программное обеспечение электронного документа оборота из реестра отечественного
программного обеспечения
Честный ответ, пожалуйста.
Зависит от задачи.
Просто для патка.
Патчить кто быстрее?
В зависимости от вендора.
Адекватный вендор может быть, который будет садиться с тех, кто комитится к виду.
Я тоже люблю фейк.
Ну просто есть факт, когда люди из Tails взяли выпилили чертям в этот патрибёрк.
Когда появился Hales, вот это джердный ход есть.
Ну, еще есть агенты, они тоже умеют почву.
Думаете?
Берем, берем агенты.
Спасибо огромное.
Спасибо, спасибо.