Математическая модель нарушителя процесса доверенной загрузки «аппаратного тонкого клиента»

Abstract

Разрабатывается формальная модель нарушителя – условное математическое представление их воздействий на процесс доверенной загрузки. Определяются недостатки современных систем доверенной загрузки, основанных исключительно на контроле состояний внедренных защитных механизмов. В качестве альтернативы предлагается контролировать не со-стояния (реакции) защитных механизмов, но временные характеристики штатного процесса загрузки. Это позволяет полноценно контролировать все этапы процесса доверенной загрузки, а не только состояния защитных механизмов, занимающих только часть этапов.