Принципы и решения по совершенствованию эффективности функционирования операционных систем и приложений микропроцессорных карт

• Автор: Матвеев, Павел Павлович
• Шифр специальности: 05.13.11
• Научная степень: Кандидатская
• Год защиты: 2008
• Место защиты: Москва
• Количество страниц: 156 с. : ил.

Оглавление
ВВЕДЕНИЕ

1. МОДЕЛЬ НАРУШИТЕЛЯ И КЛАССИФИКА ЦИЯ ПОТЕНЦИАЛЬНО ВОЗМОЖНЫХ ТИПОВЫХ

А ТАК ОСНОВЕ МИКРОПРОЦЕССОРНЫХ КАРТ

2. ПОИСК СПОСОБОВ УВЕЛИЧЕНИЯ ЭФФЕКТИВНОСТИ ИСПОЛЬЗОВАНИЯ РЕСУРСОВ МИКРОПРОЦЕССОРНОЙ КАРТЫ

2.1 Построение компактной файловой системы.

2.1.1 О проблеме увеличении эффективности использования файловой системы РИК.

2.1.2 Выработка формальной модели организации файловой системы.

2.1.3 Оценки эффективности построенной модели файловой системы

2.2 Выполнение скриптов микропроцессорной карты непосредственно микроконтроллером капы

2.2.1 Выработка рекомендаций по внесению изменений в архитектуру кристалла

микроконтроллера РИК
2.2.2 Функциональность супервизора.
2.2.3 Оценка размера высвобождаемого масочного ПЗУ4
2.3 Реализация ГОСТ 7 на картах .
2.3.1 Введение и постановки задачи.
2.3.2 Реализация сложения длинных двоичных азов в вычислительной архитектуре с коротким
машинным словом в условиях отсутствия возможности контроля переполнения и беззнаковых типов .
2.3.3 Реализация ГОСТ 7 на v.
2.4 ВЫВОДЫ К ГЛАВЕ 1.
3. ОБЕСПЕЧЕНИЕ БЕЗОПАСНОСТИ ПРОТОКОЛОВ ПЛА ТЖНЫХ И ИДЕНТИФИКА ЦИОННЫХ ПРИЛОЖЕНИЙ ОТЕЧЕСТВЕННЫХ ПЛАСТИКОВЫХ КАРТ .
3.1 ПОСТРОЕНИЕ СПЕЦИФИКАЦИИ МАЛОРЕСУРСНОГО УНИВЕРСАЛЬНОГО ПЛАТЖНОГО ПРИЛОЖЕНИЯ ДЛЯ РИК
3.1.1 Введение в задачу построения спецификации малоресурсного универсального платжного
приложения
3.1.2 Формальная модель простейшего платежного приложения
3.1.3 Защита транзакций платжного приложения
3.1.4 Необходимость обеспечения уникалыюстч транзакций.
3.1.5 Механизм управления рисками платжных операций.
3.1.6 Реализация корректной обработки оборванных транзакций
3.1.7 Выбор набора платжных криптографических ключей
3.1.8 Безопасность ключей, хранимых в терминале и особенности оффлайнтранзакций.
3.1.9 Транзакция оффлайндебетования.
3.1. Оплайнтранзакция
3.2 ПОСТРОЕНИЕ УНИВЕРСАЛЬНОГО УЧЕТНОГО ПРИЛОЖЕНИЯ
3.2.1 Описание требований, предъявляемых к универсальному учтному приложению
3.2.2 Разработка схемы храпения данных универсального учтного приложения
3.2.3 Разработка механизмов обеспечения безопасности универсального учтного приложения
3.3 Усовершенствование технологии бесконтактных карт I для обеспечения возможности
применения в государственных проектах
3.3.1 Вопросы безопасности и функциональности бесконтактных карт
3.3.2 Выбор продукта из линейки I в качестве прототипа отечественной бесконтактной
3.3.3 Предлагаемая архитектура отечественной бесконтактной карты
3.4 Выводы к ГЛАВЕ2.
4. ЗАШИТА ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ОТ НЕСАНКЦИОНИРОВАННОГО КОПИРОВАНИЯ
4.1 ИСПОЛЬЗОВАНИЕ ОТЕЧЕСТВЕННЫХ МИКРОПРОЦЕССОРНЫХ КАРТ В СИСТЕМАХ ЗАЩИТЫ ПО ОТ
НЕСАНКЦИОНИРОВАННОГО КОПИРОВАНИЯ. СИММЕТРИЧНАЯ АУТЕНТИФИКАЦИЯ СУБЪЕКТОМ, НЕ ХРАНЯЩИМ СЕКРЕТНЫЙ КЛЮЧ АУТЕНТИФИКАЦИИ
4.1.1 Постановка задачи разработки криптографического протокола симметричной
аутентификации карты системой, не хранящей секретный ключ аутентификации.
4.1.2 Синтез и анализ протокола аутентификации
4.2 КРИПТОГРАФИЧЕСКИЙ ПРОТОКОЛ ГОЛОСОВОЙ АКТИВАЦИИ ПО, ЗАЩИЩАЕМОГО ОТ
НЕСАНКЦИОНИРОВАННОГО КОПИРОВАНИЯ
4.2.1 Введение в задачу разработки протокола голосовой активации ПО, защищаемого от
несанкционированного копирования.
4.2.2 Генерация таблицы сервера.
4.2.3 Генерация таблицы дистрибутива
4.2.4 Активация защищаемого ПО
4.2.5 Проверка привязки в вычислительной среде
4.3 ВЫВОДЫ К ГЛАВЕ 3
ВКЛЮЧЕНИЕ
БИБЛИОГРАФИЯ


В
менее дорогих системах применяются карты с магнитной полосой. Нечасто, но применяются пропускающие инфракрасные карты, карты на основе эффекта Виганда, барийферритовые карты и карты с магнитной сеткой. В системах, с низкими требованиями к уровню безопасности, где основной задачей является идентификация, а не аутентификация субъекта, нашли применение карты Холлерита и штрихкодирование. Лазерные карты применяются там, где требуется хранение большого количества информации это, в основном, различные медицинские системы. Актуальность темы. Пластиковые карты это достаточно новое и быстроразвивающееся направление. О его новизне говорит хотя бы тот факт, что на сегодняшний день нет устоявшейся терминологии. Так, даже самый основной термин можно перевести на русский язык как смарткарта, интеллектуальная карта или микропроцессорная карта. Началом развития технологии микропроцессорных карт принято считать год, когда французский инженер Ролан Морено предлагает изготавливать пластиковые карты с контактным чипом, хранящим информацию. Сейчас карты с контактным чипом, как микропроцессорные, так и карты памяти, сильно отличаются по функциональности от своих первых прототипов. Микропроцессорные карты получают вс большее распространение, вытесняя карты с магнитной полосой. Первые банкоматы появляются в США в году, а через четыре года первые терминалы. Получение удалнного доступа к данным о состоянии банковского счета стало возможным с года. В году бельгийская компания эмитирует первую микропроцессорная карту для оффлайнтранзакций. Появление спецификации V 1, без которой на сегодняшний день немыслимы международные электронные платежи, происходит в году. Микропроцессорные карты, изобретнные более четверти века назад, нашли широкое применение в ГГиндустрии, включающей в себя такие направления, как разработка операционных систем, прикладных программных средств, сетевые технологии, защита информации и электронные платежи. Необходимость развития последних двух направлений трудно переоценить. Поэтому весьма актуально развивать отечественное производство микропроцессорных карт, т. В году в подмосковном Зеленограде ОАО Ангстрем начинает разработку отечественного кристалла Российской Интеллектуальной Карты РИК , , , , , , , 1, , призванной стать основным носителем и ядром безопасности в государственных и частных системах, использующих микропроцессорные карты. Операционную систему для кристалла РИК, получившую название ишСОБ, разрабатывают ГУЛ НТЦ Атлас и компания ишопСагс при научнотехническом сопровождении ФАПСИ. Результат четырхлетней работы был продемонстрирован на Четвертой Международной Конференции Интеллектуальные Карты России ИКР. В году появляется другая операционная система для того же кристалла ОСКАР, разработанная компанией Терна СИС и ГУЛ НТЦ Атлас при научнотехническом сопровождении ФАПСИ. Данная операционная система изначально проектировалась таким образом, чтобы соответствовать требованиям ФАПСИ по классу КС2, в году ОС ОСКАР была сертифицирована. В том же году ТУП НТЦ Атлас разработало карточную операционную систему РИК2, получившую сертификат ФАПСИ но уровню В Временных требований к средствам защиты конфиденциальной информации. Более подробно об истории развития отечественных микропроцессорных карт можно прочитать в , , , , , , , . Основные характеристики отечественных и зарубежных микропроцессорных карт описывает Таблица 0. Таблица 0. Сопроцессор модульной арифметики Разработан для поддержки ГОСТ Р . Да, возможен, в т. Основная проблема в недостаточных объмах различных типов памяти кристалла, т. Сопроцессор модульной арифметики, и8Винтерфейс и процедура РТ8 также требуют пусть и небольшой, но аппаратной модификации существующего кристалла. Отсутствие же поддержки остальных перечисленных в таблице опций следствие нехватки аппаратных ресурсов, ибо реализуются программно. Таким образом, основной задачей является увеличение ресурсов, а, следовательно, функциональности кристалла. Однако здесь есть жсткое ограничение кристалл микропроцессорной карты не должен иметь размеры более 5x5 мм.