Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


- результаты поиска

Вид поиска

Область поиска
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=НДВ<.>)
Общее количество найденных документов : 4
Показаны документы с 1 по 4
1.

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Новиков В. А., Фонарев М. О.
Заглавие : Рекомпиляция дизассемблированных текстов программ
Серия: Защита информации в компьютерных системах и системах связи
Место публикации : Вопросы защиты информации. - 2007. - N 2. - С. 51-54
Примечания : Библиогр.: с. 54 (6 назв. ). - RUMARS-vozi07_000_002_0051_1
ISSN: XXXX-XXXX
УДК : 004.4
ББК : 32.973-018
Предметные рубрики: Вычислительная техника-- Математическое обеспечение (Программирование)
Ключевые слова (''Своб.индексиров.''): сертификация программного обеспечения--недекларированные возможности по--ндв по--методы сертификации (программирование)--рекомпиляция текстов программ
Аннотация: Рассмотрен подход к созданию системы исследования программного обеспечения на отсутствие недекларированных возможностей с применением технологии рекомпиляции дизассемблированных текстов программ.
Найти похожие

2.

Вид документа : Статья из журнала
Шифр издания :
Заглавие : Использование системы анализа исходного кода в области сертификации СЗИ
Серия: Безопасность компьютерных систем
Место публикации : Защита информации. Инсайд. - 2015. - № 5. - С.43 (Шифр zinf/2015/5)
УДК : 004.41/.42
ББК : 32.973-018
Предметные рубрики: Вычислительная техника
Программирование ЭВМ. Компьютерные программы. Программотехника
Ключевые слова (''Своб.индексиров.''): pt application inspector--ндв--недекларируемые возможности--сертификация--системы анализа исходного кода--средства защиты информации--тестирование--уязвимости
Аннотация: Испытательная лаборатория Института инженерной физики, аккредитованная в системах сертификации ФСТЭК РФ, ФСБ России и Минобороны РФ, объявила о внедрении системы анализа исходного кода PT Application Inspector в свою инфраструктуру для тестирования и сертификации средств защиты информации. Продукт поможет одной из крупнейших российских лабораторий автоматизировать процесс выявления уязвимостей при контроле недекларированных возможностей (НДВ) в соответствии с новыми требованиями и рекомендациями ФСТЭК России.
Найти похожие

3.

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Васильева К. В., Коноплев А. С.
Заглавие : Метод анализа встроенного программного обеспечения UEFI BIOS на предмет наличия НДВ
Параллельн. заглавия :Undeclared capabilities revealing method for embedded software UEFI BIOS
Серия: Безопасность программного обеспечения
Место публикации : Проблемы информационной безопасности. Компьютерные системы. - 2018. - № 3. - С.100-106: схемы. - ISSN 2071-8217 (Шифр pinb/2018/3). - ISSN 2071-8217
Примечания : Библиогр.: с. 106 (5 назв.)
УДК : 004.41/42
ББК : 32.973
Предметные рубрики: Вычислительная техника
Программирование ЭВМ. Компьютерные программы. Программотехника
Ключевые слова (''Своб.индексиров.''): uefi bios--архитектура программного орбеспечения--встроенное программное обеспечение--динамический анализ--информационная безопасность--недекларированные возможности (вычислительная техника)--программное обеспечение--статический анализ
Аннотация: Рассмотрена проблема автоматизированного анализа встроенного программного обеспечения (ВПО) UEFI BIOS на предмет наличия недекларированных возможностей. Проанализированы особенности архитектуры ВПО UEFI BIOS, выполнен сравнительный анализ основных существующих методов статического и динамического анализа ПО без исходного кода, установлены возможности и ограничения применения рассмотренных методов в решении задачи поиска НДВ и верификации ПО. Предложен метод качественного улучшения автоматизированного анализа ВПО, базирующийся на особенностях функционирования UEFI BIOS.The paper reviews the problem of automatic embedded software UEFI BIOS analysis for undeclared capabilities revealing. It discusses the main features of UEFI BIOS architecture, compares common methods of static and dynamic analysis for software without source code, considers their possibility and limitation of addressing the described problem. There is proposed a method for enhanced automatic revealing undeclared capabilities in embedded software.
Найти похожие

4.

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Зыков, Анатолий Геннадьевич, Голованев, Яков Сергеевич, Поляков, Владимир Иванович, Швед, Дарья Викторовна
Заглавие : Автоматизация выявления и устранения НДВ при верификации программ
Параллельн. заглавия :Automating the Detection and Elimination of Undeclared Features When Verifying Programs
Серия: Безопасность компьютерных систем
Место публикации : Защита информации. Инсайд. - 2020. - № 3. - С.62-65: ил. (Шифр zinf/2020/3)
Примечания : Библиогр.: с. 65 (6 назв.)
УДК : 004:002
ББК : 73
Предметные рубрики: Информатика
Информатизация общества. Информационная политика
Ключевые слова (''Своб.индексиров.''): графо-аналитическая модель--мертвый код--недекларированные возможности--синтаксический анализ
Аннотация: При разработке программных систем одним из основных подходов является модульный способ программирования. При этом отдельные задачи выделяются в виде самостоятельных модулей и могут проектироваться и реализовываться различными группами разработчиков. На каждом этапе проектирования обязательно осуществляется верификация. В качестве спецификации проекта предлагается использовать графо-аналитическую модель вычислительного процесса и ее описание на разработанном авторами языке. Задачу автоматизации обнаружения недекларированных возможностей и исключения их в программе предлагается решить с помощью дополнительных средств анализа при верификации программы.
Найти похожие

 
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)