ВЕРИФИКАЦИЯ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ ОТЧУЖДАЕМЫХ НОСИТЕЛЕЙ КЛЮЧЕВОЙ ИНФОРМАЦИИ

Сергей Сергеевич Агафьин, Антон Андреевич Краснопевцев

Аннотация


Отчуждаемые носители ключевой информации становятся все более распространенными средствами криптографической защиты информации по всему миру. Наиболее популярной платформой для них является платформа JavaCard. Однако она не лишена уязвимостей. Для исключения возможности нарушения информационной безопасности предлагается разработка системы верификации байт-кода для данной платформы.

Ключевые слова


носители ключевой информации; верификация

Полный текст:

PDF

Литература


1 Mostowski W., Poll E. Malicious Code on Java Card Smartcards: Attacks and Countermeasures // LNCS. 2008. Vol. 5189. P. 1—16.

2 Java Card Platform Specification 3.0.1. URL: http://www.oracle.com/technetwork/java/ (дата обращения: 30.01.2013).


Ссылки

  • На текущий момент ссылки отсутствуют.


Лицензия Creative Commons
Это произведение доступно по лицензии Creative Commons «Attribution» («Атрибуция») 4.0 Всемирная.