About Integrity in Security Models

Download Now
Provided by: FIZ Karlsruhe GmbH
Topic: Security
Format: PDF
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.
Download Now

Find By Topic