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