The specification of the logic model consists of pre-defined authorization actions, a sequence of states expressed by ...