Vi introducerar en modell för bevisbar datainnehav (PDP) som kan användas för fjärrdatakontroll: En klient som har lagrat data på en opålitlig server kan verifiera att servern har originaldata utan att hämta den. Modellen genererar probabilistiska bevis på innehav genom stickprov slumpmässiga uppsättningar block från servern, vilket drastiskt minskar I/O-kostnader. Kunden upprätthåller en konstant mängd metadata för att verifiera beviset. Utmanings-/responsprotokollet överför en liten, konstant mängd data, vilket minimerar nätverkskommunikationen. Därför är PDP-modellen för fjärrdatakontroll lätt och stöder stora datamängder i distribuerade lagringssystem. Modellen är också robust eftersom den innehåller mekanismer för att minska godtyckliga mängder av datakorruption. Vi presenterar två bevisligen säkra PDP-system som är effektivare än tidigare lösningar. I synnerhet är overhead på servern låg (eller till och med konstant), i motsats till linjär i storleken på data. Vi föreslår sedan en generisk omvandling som tillför robusthet till alla fjärrdatakontrollsystem som bygger på stickprovskontroll. Experiment som använder vår implementering verifierar PDP:s praktiska funktion och avslöjar att PDP:s prestanda begränsas av disk I/O och inte av kryptografisk beräkning. Slutligen genomför vi en fördjupad experimentell utvärdering för att studera kompromisser i prestanda, säkerhet och rymd omkostnader när det tillför robusthet till ett fjärrdatakontrollsystem.
En annan förlängning av den ursprungliga PDP presenteras i REF.
Remote data checking using provable data possession
{'venue': 'TSEC', 'journal': None, 'mag_field_of_study': ['Computer Science']}