Vi inför en revisionsram för att avgöra om ett databassystem följer dess policyer för utlämnande av uppgifter. Användarna formulerar revisionsuttryck för att specificera (känsliga) uppgifter som är föremål för granskning av offentliggörande. En revision komponent accepterar revisionsuttryck och returnerar alla frågor (förutsedda "misstänksamma") som kom åt de angivna uppgifterna under deras utförande. Den overhead av vår strategi för frågebehandling är liten, som främst innebär loggning av varje frågesträng tillsammans med andra mindre annoteringar. Databas triggers används för att fånga uppdateringar i en backlog databas. Vid tidpunkten för revision, en statisk analys fas väljer en delmängd av loggade frågor för ytterligare analys. Dessa frågor kombineras och omvandlas till en SQL revision fråga, som när de körs mot backlog databasen, identifierar misstänkta frågor effektivt och exakt. Vi beskriver algoritmer och datastrukturer som används i en DB2-baserad implementering av detta ramverk. Experimentella resultat förstärker våra designval och visar hur praktiskt tillvägagångssättet är.
Med hjälp av Hippokratiska databaser är det möjligt att skapa ett ramverk för revision för att kontrollera om en databas följer sina policyer för utlämnande av uppgifter REF.
Auditing compliance with a hippocratic database
{'venue': 'In VLDB', 'journal': None, 'mag_field_of_study': ['Computer Science']}