Security Model

A Security Model is a Model (Abstract) that can specify a security policy (for a computing system).