Abstrakt. Vi anser att problemet med logisk dataradering kontrasterar mot fysisk radering på samma sätt som end-to-end informationsflödeskontroll kontrasterar mot åtkomstkontroll. Vi presenterar en semantisk hierarki för raderingspolitik med hjälp av en possibilistisk kunskapsbaserad semantik för att definiera politisk tillfredsställelse så att det finns en intuitivt tydlig övre gräns för vilken information en raderingspolitik tillåter att behållas. Vår hierarki tillåter en rik klass av radering politik att uttryckas, med hänsyn till kraften hos angriparen, hur mycket information kan behållas, och under vilka villkor den kan behållas. Vårt främsta mål är att specificera raderingspolitik, men den semantiska ramen gör det möjligt att utforma en ganska allmän politik för informationsflöde för en mängd olika semantiska begrepp om sekretess.
Del Tedesco m.fl. REF tillhandahåller en semantisk ram för expressiv raderingspolitik.
A Semantic Hierarchy for Erasure Policies
{'venue': 'ArXiv', 'journal': 'ArXiv', 'mag_field_of_study': ['Computer Science']}