Abstrakt. Även om en rigorös analys av informationsflödet är ett viktigt steg för att få meningsfulla slut-till-slut-sekretessgarantier, måste man också tillåta möjligheter till avklassificering. Sabelfeld och Sands kategoriserade de befintliga metoderna för att kontrollera avklassificeringen i sin översikt längs fyra dimensioner och enligt fyra försiktiga principer [16]. I den här artikeln föreslår vi tre nya säkerhetsvillkor för att kontrollera dimensionerna var och vad, och vi förklarar varför dessa villkor innebär förbättringar jämfört med tidigare strategier. Dessutom presenterar vi en typbaserad säkerhetsanalys och, som en annan nyhet, visar sig vara ett sunt resultat som tar hänsyn till mer än en dimension av avklassificering.
W HERE, WHAT 1 och W HAT 2 I REF föreslår Mantel och Reinhard tre säkerhetsvillkor för att kontrollera var och vilka dimensioner av deklassificering.
Controlling the what and where of declassification in language-based security
{'venue': 'In Proc. European Symp. on Programming, volume 4421 of LNCS', 'journal': None, 'mag_field_of_study': ['Computer Science']}