Att formalisera lämpliga informationspolicyer som tillåter någon kontrollerad form av informationsutgivning och tillhandahålla sunda analyser för denna politik är ett nödvändigt steg mot praktiska tillämpningar av språkbaserad säkerhet. Vi föreslår en modulär metod för att förbättra system av icke-interferens för att stödja kontrollerade former av informationsutgivning som kombinerar vad och var dimensionerna av deklassificering. Som en fallstudie, vi härleds från tidigare arbete med icke-interferens typ system nya typer av system som ljudligen genomdriva avklassning politik för sekventiella fragment av Java Virtual Machine. Vårt arbete ger den första modulära metoden för att definiera ljudtypsystem för avklassificeringspolicyer, och i första hand ett ljudtypsystem som stöder avklassificeringspolicyer för ostrukturerade språk.
Barthe m.fl. I REF föreslås en modulär metod för återanvändning av typsystem och bevis för icke-inblandning för avklassificering.
Tractable Enforcement of Declassification Policies
{'venue': '2008 21st IEEE Computer Security Foundations Symposium', 'journal': '2008 21st IEEE Computer Security Foundations Symposium', 'mag_field_of_study': ['Computer Science']}