Требования к обработке

Требование фиксированности документа порождает формализованные требования сохранения некоторого инварианта для каждого отдельного преобразования (алгоритма) и, следовательно, сохранения этого инварианта для всей последовательности преобразований ЭлД. Фиксированность отдельной реализации может иметь только технологический смысл — ЭлД есть множество объектов (реализаций), и его мгновенное состояние есть объединение состояний всех текущих объектов этого множества (в т. ч. динамических реализаций, описываемых протоколами). Фиксированность документа означает, что для всех состояний этого множества сохраняется инвариант. (Атрибуты защиты предназначены, в частности, для проверки сохранения инварианта).

Для реализации ЭлД определены состояние (набор значений атрибутов) и поведение (правила преобразований этих значений). Таким образом, имея одну реализацию, можно вычислить допустимые последующие реализации. Тем самым обеспечивается вычислимое преобразование любой реализации ЭлД в любую последующую [из Б.11 Подраздел 7.2 ГОСТ Р 52292—2004]