Методы обнаружения недекларированных возможностей в программном обеспечении внешних аппаратных модулей

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

Аннотация


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

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


JavaCard; сигнатуры; НДВ; модели

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

PDF

Литература


1. гост р исо/МЭк 7816-4-2004. информационная технология. карты идентификационные. карты на интегральных схемах с контактами. часть 4. Межотраслевые команды для обмена. введ. 2005-01-01. М.: изд-во стандартов, 2005. – 78 с.

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

3. Марков А. С., Фадин А. А. проблемы автоматизации выявления программных закладок и дефектов безопасности кода методом статического сигнатурного анализа. URL: http://www.npo-echelon.ru/doc/ (дата обращения: 01.12.2013).

4. Кулямин В. В. Методы верификации программного обеспечения. URL: http://www.ict.edu.ru/ft/005645/ (дата обращения: 01.12.2013).

5. Леошкевич И. О. система выявления недекларированных возможностей программного обеспечения, влекущих нарушение конфиденциальности информации. дисс. ... канд. техн. наук. М., 2011.


Ссылки

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


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