Vi utför en teoretisk studie av följande frågevy säkerhetsproblem: med tanke på en vy V som ska publiceras, avslöjar V logiskt information om en konfidentiell fråga S? Problemet motiveras av behovet av att hantera risken för oavsiktligt utlämnande av information i dagens värld av universellt datautbyte. Vi presenterar en ny informationsteoretisk standard för frågevysäkerhet. Detta kriterium kan användas för att ge en exakt analys av informationsutlämnande för en mängd scenarier för datautbyte, inklusive flerpartssamspel och användning av extern kunskap av en motståndare som försöker lära sig privilegierade fakta om databasen. Vi bevisar ett antal teoretiska resultat för att avgöra säkerhet enligt denna standard. Vi generaliserar också vårt säkerhetskriterium för att redogöra för tidigare kunskap en användare eller motståndare kan ha, och införa tekniker för att mäta omfattningen av partiella avslöjanden. Vi anser att dessa resultat kan vara en grund för praktiska insatser för att säkra ramverk för datautbyte, och även belysa ett trevligt samspel mellan logik och sannolikhetsteori.
REF gav en formell analys av informationsutlämnandet i datautbytet.
A formal analysis of information disclosure in data exchange
{'venue': "SIGMOD '04", 'journal': None, 'mag_field_of_study': ['Computer Science']}