Шифрование для параноиков: верификация исходного кода и исполняемых файлов TrueCrypt
TrueCrypt – самая популярная и уважаемая программа для шифрования. Она умеет шифровать целые диски, разделы, папки и отдельные файлы. Забавно, что TrueCrypt также славится своим умением прятать данные у всех на виду.
Интересно, что разработчики TrueCrypt хранят анонимность – все взаимодействие происходит через Фонд TrueCrypt. Я нашел только интервью 2005 года, предположительно, с одним из разработчиков под ником Ennead.
Рекомендовано экспертами
Эксперты с такой готовностью рекомендуют TrueCrypt отчасти потому, что это открытое программное обеспечение, то есть, его может проверить на надежность любой желающий. Если верить ЧаВо на сайте TrueCrypt, это происходит постоянно:
«Исходный код постоянно проверяется множеством независимых исследователей и пользователей. Нам это точно известно, потому что мы неоднократно получали от независимых обозревателей информацию об ошибках и проблемах безопасности, обнаруженных ими в процессе изучения кода».
Но большинство пользователей не компилирует программу самостоятельно из исходного кода, а устанавливает с помощью одного из исполняемых файлов TrueCrypt. И здесь надежность программного обеспечения оказывается под вопросом. В ЧаВо упоминается способ убедиться, что скачанные файлы скомпилированы из предлагаемого исходного кода:
«Помимо изучения исходного кода, независимые исследователи могут скомпилировать его и сравнить получившийся исполняемый файл с официальными. При этом могут обнаружиться некоторые различия (например, во временных отметках или встроенных цифровых подписях), но специалисты могут проанализировать эти отличия и убедиться, что они не связаны с вредоносным программным кодом».
К сожалению, я не нахожу никаких документальных подтверждений тому, что это делается. И после скачивания исходного кода понимаю, почему. Он насчитывает почти 2 Мбайт данных. Обратная разработка такой сложной программы – непростая задача.
«Документы свидетельствуют, что АНБ применяет в борьбе с шифрованием целый арсенал методов, включая сотрудничество с производителями для ослабления стандартов шифрования, внесение изменений в криптографическое ПО и продвижение международных стандартов шифрования, которые Агентство способно взломать».
Брюс Шнайер (Bruce Schneier) в своем блоге подтверждает информацию The New York Times:
«Защититься от таких атак трудно. Исследования в области клептографии демонстрируют: практически невозможно гарантировать, что сложное программное обеспечение не дает утечек секретных данных. Из знаменитой речи Кена Томсона (Ken Thompson) о "доверии доверию" мы знаем, что никогда нельзя быть на сто процентов уверенным в отсутствии уязвимостей у своего программного обеспечения».
Криптографы и вообще нервный народ, но тут их терпение окончательно лопнуло. Профессор Мэттью Грин (Matthew Green), специалист по криптографии, исследователь из Университета Джонса Хопкинса, и Кеннет Уайт (Kenneth White), ведущий научный сотрудник компании Social & Scientific Systems, решили изучить исполняемые файлы, созданные на основе текущей версии (7.1a) исходного кода TrueCrypt, и поставили перед собой следующие задачи:
• Создать историю независимых проверок версий исходного и исполняемого кода TrueCrypt. • Задокументировать сборку исполняемых файлов из исходного кода для поддерживаемых операционных систем. • Провести аудит (анализ безопасности и криптоанализ) программ.
На своем сайте istruecryptauditedyet.com исследователи пишут: «Многие основания для беспокойства по поводу TrueCrypt исчезли бы, если бы мы точно знали, что исполняемые файлы компилируются из исходного кода». Они также хотят исключить вероятность того, что целостность TrueCrypt нарушена, в частности за счет бэкдоров.
«Настоящая мечта авторов проекта – сделать профессиональный аудит всей базы исходных текстов в одной из немногих компаний, специализирующихся на оценке безопасности и квалифицированных для работы с криптографическим программным обеспечением».
Затея, как можно догадаться, недешевая. Но у Грина и Уайта возникла оригинальная идея: собрать средства на финансирование проекта методом краудфандинга. Замысел, судя по всему, удался: с 14 октября исследователи получили уже 50 тысяч долларов. Пожертвования по-прежнему принимаются через FundFill и IndieGoGo.
В заключение
Недавно я читал, что Грин и Уайт наконец собрали нужную сумму, так что TrueCrypt скоро отправится под микроскоп. История TrueCrypt меня очень интересует, так что я надеюсь, программа выдержит испытание. Если бы я делал ставки...
