ДОКАЗЫВАТЬ

(prove)

Демонстрировать соответствие посредством формального анализа в математическом смысле.

Примечание - Доказательство должно быть полностью строгим во всех отношениях. Обычно термин "доказывать" используют, когда необходимо показать соответствие между двумя представлениями ФБО на высоком уровне строгости.

"ГОСТ Р ИСО/МЭК 15408-1-2012 Информационная технология. Методы и средства обеспечения безопасности. Критерии оценки безопасности информационных технологий. Часть 1. Введение и общая модель" от 15.11.2012 г.

ДОКАЗЫВАТЬ

(prove): 

Относится к формальному анализу в математическом смысле, полностью строгому во всех отношениях. Обычно используется, когда желательно показать соответствие между двумя представлениями ФБО на высоком уровне строгости.