Secure Types:
- Data Types (denoted by τ) --- a set of security classes partially ordered by <=
- Phrase Types
- Data types for expressions
- Variable types (τ var) --- variable that stores information at level τ or lower
- Command types (τ cmd) --- every assignment in the command assigns to level τ or higher
![Previous page](../images/prev.gif)
![Contents](../images/toc.gif)
![Next page](../images/next.gif)