Ар11-10314 Леошкевич, И. О. Система выявления недекларированных возможностей программного обеспечения, влекущих нарушение конфиденциальности информации [Текст] : автореф. дис. ... канд. техн. наук : 05.13.19 / И. О. Леошкевич. - М., 2011. - 21 с. - Библиогр.: с. 21. - 100 экз.
Кл.слова (ненормированные): программное обеспечение -- конфиденциальность информации -- недекларированные возможности -- методы выявления -- исполняемый код -- верификация Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
Ар11-20898 Глухарев, М. Л. Метод верификации и анализа защищенности баз данных на основе формализации требований целостности [Текст] : автореф. дис. ... канд. техн. наук : 05.13.19 / М. Л. Глухарев. - СПб., 2011. - 16 с. : ил. - Библиогр.: с. 16 (9 назв.)
Кл.слова (ненормированные): базы данных реляционные -- формальная верификация -- недекларированные возможности -- ограничения целостности -- триггеры Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
Ар13-2297 Диасамидзе, С. В. Метод выявления недекларированных возможностей программ с использованием структурированных метрик сложности [Текст] : автореф. дис. ... канд. техн. наук : 05.13.19 / С. В. Диасамидзе. - СПб., 2012. - 16 с. : ил. - Библиогр.: с. 15-16 (10 назв.)
Кл.слова (ненормированные): информационная безопасность -- программные средства -- верификация -- подтверждение соответствия -- недекларированные возможности Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
Ар12-19038 Дацун, Н. Н. Разработка и исследование модели и алгоритма недекларированных возможностей в автоматизированных системах [Текст] : автореф. дис. ... канд. техн. наук : 05.13.19 / Н. Н. Дацун. - СПб., 2012. - 17 с. : ил. - Библиогр.: с. 16-17 (9 назв.)
Кл.слова (ненормированные): информационная безопасность -- автоматизированные системы -- программное обеспечение -- недекларированные возможности Экземпляры всего 1: ХР (1) Свободны: ХР (1) |