СПОСОБ И УСТРОЙСТВО ДЛЯ ПРОВЕРКИ ИСПОЛНЯЕМОЙ ПРОГРАММЫ С ИСПОЛЬЗОВАНИЕМ МОДЕЛИ

1. Способ, содержащий этапы, на которых:
в сетевом инфраструктурном элементе (300):
определяют (101) то, что платформа (305) конечного пользователя пытается загружать исполняемую программу;
исполняют (103) исполняемую программу, чтобы разрабатывать соответствующую модель исполняемой программы, представляющую режим работы на основе вызовов операционной системы исполняемой программы;
используют (104) модель исполняемой программы, чтобы проверять режим работы на основе вызовов операционной системы исполняемой программы относительно политик, соответствующих платформе (305) конечного пользователя; и
предоставляют возможность платформе (305) конечного пользователя загружать (106) исполняемую программу, когда режим работы на основе вызовов операционной системы исполняемой программы проверяется на допустимость относительно политик.
2. Способ по п.1, в котором исполнение исполняемой программы, чтобы разрабатывать соответствующую модель исполняемой программы, представляющую режим работы на основе вызовов операционной системы исполняемой программы, содержит этап, на котором исполняют исполняемую программу с использованием случайного входного содержимого.
3. Способ по п.1, в котором исполнение исполняемой программы, чтобы разрабатывать соответствующую модель исполняемой программы, представляющую режим работы на основе вызовов операционной системы исполняемой программы, содержит этап, на котором многократно исполняют исполняемую программу с использованием автоматически сформированного отличающегося входного содержимого.
4. Способ по п.1, дополнительно содержащий этап, на котором:
усекают модель, чтобы предоставлять усеченную модель;
при этом предоставляют возможность платформе конечного пользователя загружать исполняемую программу также содержит этап, на котором передают усеченную модель в платформу конечного пользователя.
5. Способ по п.1, дополнительно содержащий, когда режим работы на основе вызовов операционной системы исполняемой программы проверяется на допустимость относительно политик, этап, на котором:
вычисляют функцию профиля сообщений относительно исполняемой программы, чтобы тем самым создавать подписанную версию исполняемой программы, причем эта подписанная версия также содержит, в частности по меньшей мере одну из политик.
6. Устройство, содержащее сетевой инфраструктурный элемент (300), имеющий:
запоминающее устройство (302);
сетевой интерфейс (303) и
схему (301) управления, функционально связанную с запоминающим устройством (302) и сетевым интерфейсом (303) и выполненную с возможностью:
определять (101) то, что платформа (305) конечного пользователя пытается загружать исполняемую программу;
исполнять (103) исполняемую программу, чтобы разрабатывать соответствующую модель исполняемой программы, представляющую режим работы на основе вызовов операционной системы исполняемой программы;
использовать (104) модель исполняемой программы, чтобы проверять режим работы на основе вызовов операционной системы исполняемой программы относительно политик, соответствующих платформе (305) конечного пользователя; и
предоставлять возможность платформе (305) конечного пользователя загружать (106) исполняемую программу, когда режим работы на основе вызовов операционной системы исполняемой программы проверяется на допустимость относительно политик.
7. Устройство по п.6, в котором схема управления дополнительно выполнена с возможностью исполнять исполняемую программу, чтобы разрабатывать соответствующую модель исполняемой программы, представляющую режим работы на основе вызовов операционной системы исполняемой программы, посредством исполнения исполняемой программы с использованием случайного входного содержимого.
8. Устройство по п.6, в котором схема управления дополнительно выполнена с возможностью исполнять исполняемую программу, чтобы разрабатывать соответствующую модель исполняемой программы, представляющую режим работы на основе вызовов операционной системы исполняемой программы, посредством многократного исполнения исполняемой программы с использованием автоматически сформированного отличающегося входного содержимого.
9. Устройство по п.6, в котором схема управления дополнительно выполнена с возможностью принимать, через сетевой интерфейс, информацию, касающуюся политик, из платформы конечного пользователя.
10. Устройство по п.6, в котором схема управления дополнительно выполнена с возможностью усекать модель, чтобы предоставлять усеченную модель, и в котором схема управления дополнительно выполнена с возможностью предоставлять возможность платформе конечного пользователя загружать исполняемую программу также посредством передачи усеченной модели в платформу конечного пользователя.