Abstrakt. Språkbaserade informationsflödesmetoder erbjuder ett principfast sätt att upprätthålla starka säkerhetsegenskaper, men att upprätthålla icke-inblandning är alltför oflexibelt för realistiska tillämpningar. Säkerhetstypade språk har därför infört avklassificeringsmekanismer för att lätta på sekretessreglerna och godkännandemekanismer för att lätta på integritetspolitiken. En ständig utmaning har dock varit att fastställa vilken säkerhet som garanteras när sådana mekanismer används. I detta dokument presenteras en ny semantisk ram för att uttrycka säkerhetspolitik för avklassificering och godkännande i en språkbaserad miljö. Den viktigaste insikten är att säkerhet kan beskrivas i termer av den makt som deklassificering och stöd ger angriparen. Det nya ramverket anger hur angripare kontrollerad kod påverkar program exekvering och vad angriparen kan lära sig av observerbara effekter av denna kod. Detta tillvägagångssätt ger nya säkerhetsvillkor för kontrollerade behörighetstillägg och robust integritet. Ramen är tillräckligt flexibel för att återhämta sig och förbättra de tidigare införda begreppen robusthet och kvalificerad robusthet. Dessutom kan de nya säkerhetsförhållandena genomföras på ett sunt sätt genom ett säkerhetssystem. Tillämpning och tillämpning av den nya politiken illustreras genom olika exempel, inklusive datasanering och autentisering.
Askarov och Myers REF presenterar därefter ett semantiskt ramverk för nedgradering, och presenterar en skarpare version av kvalificerad robusthet.
A semantic framework for declassification and endorsement
{'venue': 'In Proc. European Symp. on Programming, LNCS', 'journal': None, 'mag_field_of_study': ['Computer Science']}