Secure System (for seL4) на компьютер

Успешные атаки против компьютерных систем во всем мире внешних хакеров и вредоносных инсайдерами растут. Защищенный прототип системы в этом приложении демонстрирует Защищенная компьютерная база (TCB) концепции здания на формально проверенного ВЫБ4 микроядра, которая будет весьма эффективным против сдерживания этих растущих угроз.

Система продемонстрировала в этом проекте будет «невзламываемой.» Термин „невзламываемой“ система обладает следующими свойствами: (1) риск (и расходов) от кражи или повреждения конфиденциальных данных на внешний хакера будет гораздо больше, чем вознаграждение и ( 2) вероятность кражи злонамеренным инсайдером будет снижена до очень близких к нулю.
 
Угрозы, связанные с внешними злоумышленниками были доказаны, чтобы можно было предотвратить в недавно завершенном проекте DARPA HACMS, как описано в нескольких последних статей. Проект HACMS показал, что технологии, необходимые для предотвращения потери данных и повреждения внешних хакеров могут быть предотвращены с помощью технологии (ВЫБ4), которая доступна в основном сегодня. Это приложение предназначено, чтобы дать простую демонстрацию того, как построить безопасный прототип системы с использованием микроядра ВЫБ4 в качестве гипервизора для нескольких виртуальных машин Java (JVM,).

Подробнее о технических деталях предлагаемой системы здесь в трех статьях ниже, которые были недавно опубликованы на сайте Ubiquity АСМ на http://ubiquity.acm.org.

Инсайдерские атаки являются Bigger и Harder угрозой?
http://ubiquity.acm.org/blog/insider-attacks-bigger-harder-threat/

Кибербезопасность скептики в настоящее время охватывает формальные методы: интервью с Джернот Хейзер и Джим Моррис
http://ubiquity.acm.org/article.cfm?id=3081880

10 правил для невзламываемой Data Vault
http://ubiquity.acm.org/article.cfm?id=3081882

Прототип продемонстрировал здесь, очевидно, работает на Android, а не на ВЫБ4. Однако, как безопасная схема системы в верхней части страницы Play Маркет ясно показывает, прототип предназначен, в конечном счете работать только на основной ВЫБ4 операционной системы (не Windows, а НЕ Android, а не * NIX). После того, как JVM был перенесен на ВЫБ4, этот прототип будет формировать первоначальные промежуточное программное обеспечение для безопасной системы, использующей ВЫБ4 как УТС.

Эта демонстрация предполагает, четыре надежных клиентов сообщающихся с защищенным сервером. Все коммуникации между клиентом и сервером шифруется с использованием протокола от станции к станции (STS). Успешный обмен STS генерирует 256-битный AES ключ шифрования. После того, как ключ используются в следующих трех сеансах связи, новый ключ должен быть создан с помощью STS. Ключа истекает в демке, если клиент находится в режиме ожидания в течение 10 или более секунд. Аутентификация между клиентом и сервером осуществляется с помощью пароля, хранящегося на все четыре клиентов и сервере. Никакие других, чем те, с надлежащим хранящимся паролем системы не может взаимодействовать с любым узлом в предлагаемой системе.

После того, как JVM успешно портирована на ВЫБ4, клиенты и сервер все будут застрахованы от взлома внешних хакеров и вредоносными инсайдерами. В такой системе не будет возможным хранимая пароль (или любые другие данные), которые будут украдены либо инсайдеров или аутсайдеров.

Три простых операции доступны клиентам в этом прототипе: (1) тест цикла шифрования (2) каталог шоу, и (3) извлечение файла. Извлеченный файл представляет собой PDF-файл около 1,5 мегабайта. После того, как файл будет получен, число в скобках показывает время расшифровки на вашем Android устройства. Мой смартфон является Samsung Примечание 5. Время, дешифрования на моем Примечание 5 составляет около 80-120 миллисекунд, демонстрируя, что шифрование и дешифрование будет очень небольшой процент от общего времени передачи.

Для того, чтобы запустить приложение в автоматическом режиме (пусть система сделает всю работу в то время как вы смотрите действие), тип «0.0.0.0» в поле, которое запрашивает для IP-адреса, а затем нажмите кнопку «Accept IP-адрес.» Это имитирует щелчки кнопок в четырех клиентов.

Для того, чтобы запустить приложение, нажимая на кнопки самостоятельно, типа «локальный» в поле IP-адрес, а затем нажмите кнопку «Accept IP-адрес.» Вы можете нажать на любую кнопку включена в любом из четырех клиентов.