I traditionella informationsflödessystem formaliseras ofta säkerhetspolicyn som icke-interferensegenskaper. Enbart icke-inblandning är dock för starkt för att uttrycka säkerhetsegenskaper som är användbara i praktiken. Om vi tillåter nedgradering i sådana system är det en utmaning att formalisera säkerhetspolitiken som en förlängning av systemet. I detta dokument presenteras en allmän ram för nedgradering av politiken. Sådana riktlinjer kan specificeras på ett enkelt och lättfattligt språk och kan tillämpas statiskt av mekanismer som t.ex. typsystem. Säkerhetsgarantin formaliseras sedan som en koncis förlängningsfastighet med hjälp av program ekvivalenser. Denna avslappnade noninterference generaliserar traditionell ren noninterference och exakt karakteriserar den information som släpps på grund av nedgradering.
I det avslappnade ramverket för icke-interferens används ett informationsflödessystem för att kontrollera nedgradering på ett finkornigt sätt i enlighet med den nedgraderingspolitik som programmeraren anger.
Downgrading policies and relaxed noninterference
{'venue': "POPL '05", 'journal': None, 'mag_field_of_study': ['Computer Science']}