Презентация для Научной сессии Мифи. В ней представлен пример использования микроядерной ОС Fiasco.OC для разработки криптографического носителя.

1. Применение микроядерной операционной системы
Fiasco.OC для разработки криптографического носителя
Сартаков Василий
Научная сессия МИФИ, 2012

2. Криптографический носитель
Встроенный HDD
Взможность подключения внешних USB носителей и
sd/mmc карточек
Аутентификация РИК 2 smart card + пароль/пинкод
ГОСТ шифрование
Защищенное хранилище ключей

3. Платформа
TI OMAP 3530 Fiasco.OC
Cortex A8 600mhz
Микроядро
DSP core 420
Паравиртуализирован
ный Linux
USB OTG
Caps
USB Host

4. MOE L4 Sigma IO - сервер ввода-вывода
FC - интерфейс пользователя
CR - криптографический модуль
IO
L4L - паравиртуализированный
linux
L4L FC
Sigma - root-pager
L4 - микроядро
CR
Moe - root-task

5. Lcd
A8 HDD
Usb OTG
Usb Host
Mem
Sd/
Dsp mmc
Внешние устройства
подсоединяются на USB
Дисковые операции
host, далее ОС отображает
паравиртуализированного
их в виде USB gadget, Smart card linux дополнены
благодаря чему PC
дешифрованием, которое
воспринимает устройства как
выполняет отдельный
usb накопители
модуль-сервер

6. Проблемы
Dma controller
Исходный код платформы паравиртуализированного
Linux потребовал серьезных переработок

7. Спасибо
Сартаков Василий, sartakov@ksyslabs.org