Abstract Non-interference används vanligtvis som en baslinje säkerhet politik för att formalisera sekretess av hemlig information manipuleras av ett program. I motsats till statisk kontroll av icke-inblandning, anser detta dokument dynamisk, automatiserad, övervakning av informationsflödet för en enda körning av ett sekventiellt program. Övervakningsmekanismen bygger på en kombination av dynamiska och statiska analyser. Under programutförandet skickas abstractions av programhändelser till automaton, som använder abstractions för att spåra informationsflöden och för att styra utförandet genom att förbjuda eller redigera farliga åtgärder. Den mekanism som föreslås har visat sig vara sund, för att bevara utföranden av välskrivna program (i säkerhetssystem av Volpano, Smith och Irvine), och för att bevara några säkra utföranden av ill-typade program.
Ref. REF använde automaton som grund för att formalisera sekretess för hemlig information manipulerad av ett program.
Automata-based Confidentiality Monitoring
{'venue': "ASIAN'06: 11TH ANNUAL ASIAN COMPUTING SCIENCE CONFERENCE, TOKYO/JAPAN", 'journal': None, 'mag_field_of_study': ['Computer Science']}