摘要 |
1. Способ, содержащий этапы, на которых:в сетевом инфраструктурном элементе (300):определяют (101) то, что платформа (305) конечного пользователя пытается загружать исполняемую программу;исполняют (103) исполняемую программу, чтобы разрабатывать соответствующую модель исполняемой программы, представляющую режим работы на основе вызовов операционной системы исполняемой программы;используют (104) модель исполняемой программы, чтобы проверять режим работы на основе вызовов операционной системы исполняемой программы относительно политик, соответствующих платформе (305) конечного пользователя; ипредоставляют возможность платформе (305) конечного пользователя загружать (106) исполняемую программу, когда режим работы на основе вызовов операционной системы исполняемой программы проверяется на допустимость относительно политик.2. Способ по п.1, в котором исполнение исполняемой программы, чтобы разрабатывать соответствующую модель исполняемой программы, представляющую режим работы на основе вызовов операционной системы исполняемой программы, содержит этап, на котором исполняют исполняемую программу с использованием случайного входного содержимого.3. Способ по п.1, в котором исполнение исполняемой программы, чтобы разрабатывать соответствующую модель исполняемой программы, представляющую режим работы на основе вызовов операционной системы исполняемой программы, содержит этап, на котором многократно исполняют исполняемую программу с использованием автоматически сформированного отличающегося входного содержимого.4. Способ по п.1, дополнительно содержащий этап, на котором:усекают модель, чтобы предоставлять усеченн� |