Den approximation som införs genom finit-precision representation av kontinuerliga data kan framkalla godtyckligt stora informationsläckage även när beräkningen med hjälp av exakt semantik är säker. Ett sådant läckage kan på så sätt undergräva de konstruktionsinsatser som syftar till att skydda känslig information. Vi fokuserar här på differentiell integritet, ett förhållningssätt till integritet som framkommit från området statistiska databaser och som nu tillämpas i stor utsträckning även på andra områden. I detta tillvägagångssätt skyddas privatlivet genom att buller läggs till ett verkligt (privat) värde. Hittills har denna inställning till integritet visat sig vara korrekt endast i det ideala fallet där beräkningar görs med hjälp av en idealiserad, oändlig-precision semantik. I detta dokument analyserar vi situationen på genomförandenivå, där semantiken nödvändigtvis är finitprecision, d.v.s. Representationen av reella tal och operationerna på dem avrundas enligt någon precisionsnivå. Vi visar att det i allmänhet förekommer kränkningar av den differentierade integriteten, och vi studerar de förhållanden under vilka vi fortfarande kan garantera en begränsad (men, utan tvekan, helt acceptabel) variant av egendomen, under endast en mindre försämring av integritetsnivån. Slutligen illustrerar vi våra resultat på två fall av buller-genererande distributioner: den standard Laplacian mekanism som vanligen används i differential integritet, och en bivariat version av Laplacian nyligen infördes i samband med införandet av integritet-medveten geolokalisering.
Differentiell integritet strategi är att skydda privatlivet genom att lägga buller till de värden som korreleras till konfidentiella uppgifter inom området integritet bevara statistiska databaser, inklusive enskilda register och syftar till att stödja informationsupptäckt REF.
Preserving differential privacy under finite-precision semantics
{'venue': 'EPTCS 117, 2013, pp. 1-18', 'journal': None, 'mag_field_of_study': ['Computer Science']}