Теоретико-игровой подход к тестированию компиляторов на наличие механизмов внедрения недекларированных возможностей

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

Рубрика Программирование, компьютеры и кибернетика
Предмет Проектирование компьютерных систем
Вид статья
Язык русский
Прислал(а) Миронов С.В.
Дата добавления 07.03.2019
Размер файла 850,5 K

Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже

Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.


Подобные документы

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу.