От монитора обращений требуется выполнение следующих свойств:

  • Все ответы верны.
  • Изолированность. Монитор должен быть защищен от отслеживания своей работы;
  • Полнота. Монитор должен вызываться при каждом обращении, не должно быть способов его обхода;
  • Верифицируемость. Монитор должен быть компактным,Чтобы его можно было проанализировать и протестировать, будучи уверенным в полноте тестирования.

К сожалению, у нас пока нет статистики ответов на данный вопрос, но мы работаем над этим.