FIZ Karlsruhe GmbH
State machine are a most popular tool for modeling computing systems. A state is a representation of the system investigation at one moment in time. The possible state transition can be specified by a state transition function which defines the next state depending on the present state and an input. Security models are an important concept in the design and analysis of secure systems. They capture the security policy that should be enforced in the system.