Правило fini модели безопасности HashSet

fini {sid : <Sid>}

Удаляет ассоциацию таблицы с ресурсом sid (таблица становится свободной).

Возвращает результат "разрешено", если удалило ассоциацию таблицы с ресурсом sid.

Возвращает результат "запрещено" в следующих случаях:

• Ресурс sid не ассоциирован с таблицей из пула таблиц используемого объекта модели безопасности HashSet.
• Значение sid вне допустимого диапазона.