Ограничение перехода
Ограничение перехода — это способ гарантировать, что данные не перейдут в невозможное состояние из-за предыдущего состояния. Например, у человека не должно быть возможности перейти от «женатого» к «одинокому, никогда не состоявшему в браке». Единственными допустимыми состояниями после «женат» могут быть «разведен», «овдовевший» или «умерший».
Это интерпретация этого термина, ориентированная на базу данных.
В формальных моделях компьютерной безопасности ограничение перехода — это свойство, которое управляет каждым допустимым переходом из состояния модели в состояние-преемник. Его можно рассматривать как дополнение к критериям состояния , которые относятся к состояниям как таковым, но не имеют никакого отношения к переходам между последовательными состояниями.