Введение
Глава 1. Основные исходные положения и анализ проблемной ситуации ... 10
1.1 Операционные системы смарт-карт 10
1.1.1 Понятие об операционной системе смарт-карты 10
1.1.2 История индустрии смарт-карт 12
1.1.3 Эволюция операционных систем смарт-карт 13
1.2 Выводы и постановка задачи 20
Глава 2. Основы построения операционной системы для смарт-карт, формализация и создание математической модели 22
2.1 Основы построения операционной системы смарт-карты 22
2.1.1 Ключевые узлы 22
2.1.2 Организация памяти 27
2.1.3 Процессор 33
2.1.4 Файловая система 36
2.1.5 Прикладные приложения 43
2.1.6 Интерпретатор языка высокого уровня 46
2.2 Формализованное представление операционной системы смарт-карты48
2.2.1 Исходные данные для построения модели 48
2.2.2 Используемый для описания математический язык 50
2.2.3 Константы и память 52
2.3 Математическая модель интерпретатора инструкций операционной системы смарт-карты 54
2.3.1 Инструкции как команды операционной системы 54
2.3.2 Выполнение инструкций 57
2.3.3 Жизненный цикл модели 60
2.4 Выводы 61
Глава 3. Проектирование операционной системы для смарт-карты 62
3.1 Способы разработки многофункциональной операционной системы 62
3.2 Способы обеспечения функциональной эквивалентности между программой для смарт-карты и ее копией на персональном компьютере . 63
3.3 Алгоритм применения принципа платформенной независимости при модульном распределении 66
3.4 Методика модульного распределения компонентов по признаку аппаратной зависимости 68
3.5 Компонентно-ориентированное решение 70
3.5.1 Архитектура операционной системы 72
3.5.2 Нотация имен в пакетах операционной системы 76
3.5.3 Структура и зависимости в Java-пакетах 76
3.5.4 Модульная расширяемость операционной системы 78
3.5.5 Жизненный цикл операционной системы 82
3.5.6 Надстройка над вводом-выводом аппаратного обеспечения 83
3.5.7 Функции защиты и аутентификации 86
3.5.8 Файловая система 90
3.5.9 Методика результирования при обработке команд 97
3.5.10 Обеспечение целостности данных в операционной системе... 100
3.5.11 Изоляция пакетов операционной системы 101
3.5.12 Виртуальная машина 102
3.5.13 Идентификатор операционной системы 108
3.6 Выводы 109
Глава 4. Анализ разработки 111
4.1 Сравнительный анализ сконструированной операционной системы 111
4.1.1 Позиционирование и конфигурация 111
4.1.2 Анализ эффективности 113
4.1.3 Преимущества и недостатки 118
4.2 Выводы 120
Заключение 122
Литература 123
