Представлены материалы для исследования процесса сертификации программного обеспечения. Приведены основные теоретические сведения, необходимые для проведения динамического анализа кода, а также описание процесса использования программного обеспечения, предназначенного для выполнения данного вида анализа.
В методических указаниях представлены общие требования, предъявляемые к дипломным проектам, и особенности выполнения дипломных проектов на кафедре «Информационная безопасность».
Изложены основные понятия и методы, применяемые в исследовании операций. Разобраны примеры задач о принятии решений в условиях неопределенности. Представлен набор упражнений для самостоятельной работы студентов и проведения семинарских занятий.
