откат системы не приведет к удалению

откат системы приводит к

Создавать точку восстановления рекомендуется

____представляет собой иерархически организованную базу данных, которую ОС использует для запуска приложений, хранения системных правил, профилей пользователей и прочих настроек

____содержит все активные загруженные профили пользователей компьютера(HKU)

____корневой раздел конфигурации пользователя, работающего в данный момент. Здесь хранятся установки для папок этого пользователя, цвета экрана и параметры панели управления.

____содержит параметры конфигурации, относящиеся к данному компьютеру (для всех пользователей). Вместо полного имени раздела иногда используется аббревиатура HKLM

____подраздел HKEY_LOCAL_MACHINE\Software. Хранящиеся здесь сведения отвечают за запуск необходимой программы при открытии файла с помощью проводника.

____раздел содержит сведения о профиле оборудования, используемом локальным компьютером при запуске системы.

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

____Этот тип позволяет хранить значение, длина которого составляет 4 байта (32-разрядное целое.) Такие значения имеют многие параметры драйверов устройств и служб.

____Он представляет собой текстовую строку фиксированной длины и используется, в частности, для хранения путей к различным файлам.

Что бы отредактировать реестр нужно выполнить команду

Чтобы отобразить данные о системе на рабочем столе, нужно установить 1 в строке

Методы, используемые для анализа и оценки безопасности ПО, делятся на две категории

С методической точки зрения _____________ методы выглядят более предпочтительными, так как позволяют оценить надежность полученных результатов и проследить последовательность (путем обратных рассуждений) их получения

Логико-аналитические методы

Контрольно-испытательные методы

___________это методы, в которых критерием безопасности программы служит факт регистрации в ходе тестирования программы нарушения требований по безопасности, предъявляемых в системе предполагаемого применения исследуемой программы

___________делятся на те, в которых контролируется процесс выполнения программы и те, в которых отслеживаются изменения в операционной среде, к которым приводит запуск программы

___________наиболее распространены, так как они не требуют формального анализа и позволяют использовать имеющиеся технические и программные средства и быстро ведут к созданию готовых методик

При проведении анализа безопасности с помощью ______________ методов строится модель программы и формально доказывается эквивалентность модели исследуемой программы и модели РПС.

Пример какого метода приведён? В качестве модели программы может выступать ее битовый образ, в качестве моделей вирусов множество их сигнатур, а доказательство эквивалентности состоит в поиске сигнатур вирусов в программе.

Для проведения ______________________ анализа безопасности программы необходимо, во-первых, выбрать способ представления и получения моделей программы и РПС. После этого необходимо построить модель исследуемой программы и попытаться доказать ее принадлежность к отношению эквивалентности, задающему множество РПС.

В целом полный процесс анализа ПО включает в себя три вида анализа

Лексический верификационный анализ предполагает поиск распознавания и классификацию различных лексем (сигнатур) объекта исследования (программы), представленного в исполняемых кодах. В данном случае осуществляется поиск сигнатур следующих классов

___________________ верификационный анализ предполагает поиск, распознавание и классификацию синтаксических структур РПС, а также построение структурно-алгоритмической модели самой программы

Структурно-алгоритмическая модель программы необходима для реализации следующего вида анализа

__________________предполагает исследование программы изучения смысла составляющих ее функций (процедур) в аспекте операционной среды компьютерной системы

__________________является наиболее эффективным видом анализа, но и самым трудоемким.

Для сравнения методов предлагаются следующие признаки

Принятие за РПС безопасной программы

объявление программы безопасной, когда на самом деле она содержит РПС

Для проверки _______________ спецификации программы применяют математический аппарат для описания правильного решения некоторой задачи, для которой она разработана

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

это методы обеспечения проверки и анализа правильности выполнения заданных функций программы в соответствии с заданными требованиями заказчика к ним и системы в целом

это метод выявления ошибок в ПС путем выполнения исходного кода на тестовых данных, сбора рабочих характеристик в динамике выполнения в конкретном операционной среде, выявления различных ошибок, дефектов, отказов и сбоев, вызванных нерегулярными, аномальными ситуациями или аварийным прекращением работы системы

По уровню выше языков программирования, например, предметно-ориентированный язык DSL, который используется для представления абстрактных понятий и задач ПрО.

•языки описания специфических задач ограниченных синтаксисом и семантикой