 A security type system is a kind of type system that can be used by software developers in order to check the security properties of their code.In a language with security types, the types of variables and expressions relate to the security policy of the application, and programmers may be able to specify the application security policy via type declarations.Types can be used to reason about various kinds of security policies, including authorization policies (as access control or capabilities) and information flow security.