Before revision: Security type system A security type system is a kind of type system that can be used by software developers in order to control the information flow in their code.
After revision: Security type system 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.