В информатике , система типа может быть описана как синтаксическая структура , которая содержит набор правил, которые используются для присвоения имущества типа (INT, логический, символ и т.д.) к различным компонентам компьютерной программы, таким как переменные или функции , Типа система безопасности работает аналогичным образом, только с основным акцентом на безопасности компьютерной программы, с помощью потока информации управления. Таким образом, различные компоненты программы назначаются типы безопасности, или метки. Цель в такой системы в конечном счете , быть в состоянии проверить , что данная программа соответствует правилам системы типа и удовлетворяет невмешательство .
Проще говоря, с помощью системы типа безопасности, вы хотите , чтобы обнаружить , если существует какой - либо violiation о конфиденциальности или целостности в вашей программе, то есть вы хотите , чтобы обнаружить , если программа находится в соответствии с политикой информационного потока или нет.
