En exakt karakterisering ges för den klass av säkerhetspolicyer som kan verkställas med mekanismer som arbetar med att övervaka systemutförande, och automata introduceras för att specificera exakt den klassen av säkerhetspolicyer. Tekniker för att upprätthålla säkerhetspolicyer som specificeras av sådan automata diskuteras också.
Schneider REF formulerar verkställbara säkerhetsprinciper med hjälp av formalismen i säkerhetsautomaten.
Enforceable security policies
{'venue': 'TSEC', 'journal': None, 'mag_field_of_study': ['Computer Science']}