ОБНАРУЖЕНИЕ НЕДОКУМЕНТИРОВАННЫХ ВОЗМОЖНОСТЕЙ ПРИЛОЖЕНИЙ

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

Аннотация


В данной статье представляется методика обнаружения недокументированных возможностей приложений на базе платформы JavaCard, которые могут повлечь за собой нарушение конфиденциальности ключевой информации.

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


автомат; недокументированные возможности

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

PDF

Литература


1 Java Card Classic Platform Specification 3.0.4. URL: http://www.oracle.com/technetwork/java/ (дата обращения: 01.09.2013).

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

3 Haneberg D., Grandy H., Reif W., Schellhorn G. Verifying Smart Card Applications: An ASM Approach // LNCS. 2007. Vol. 4591. P. 313-332.

4 Aussel J. Smart Cards and Digital Security // MMM-ACNS. 2007. CCIS 1. P. 42-56.


Ссылки

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


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