Методы обнаружения недекларированных возможностей в программном обеспечении внешних аппаратных модулей
Аннотация
Ключевые слова
Полный текст:
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 «Attribution» («Атрибуция») 4.0 Всемирная.