Abstrakt. Det har på senare tid funnits ett stort intresse för "molnlagring" där en användare ber en server att lagra en stor fil. En fråga är om användaren kan verifiera att servern faktiskt lagrar filen, och vanligtvis används ett problem-responsprotokoll för att övertyga användaren om att filen faktiskt lagras korrekt. Säkerheten för dessa system formuleras i termer av en utsugare som kommer att återvinna eller hämta filen med tanke på alla "bevisande algoritm" som har en tillräckligt hög framgång sannolikhet. I detta dokument behandlas bevis-på-återhämtningssystem i modellen för villkorslös säkerhet, där en motståndare har obegränsad beräkningskraft. I detta fall kan filens återanvändbarhet modelleras som felkorrigering i en viss kod. Vi tillhandahåller en allmän analytisk ram för sådana system som ger exakta (icke-asymptotiska) minskningar som exakt kvantifierar villkoren för extraktion för att lyckas som en funktion av framgångsannolikheten för en bevisande algoritm, och vi tillämpar denna analys på flera arketypiska system. Dessutom tillhandahåller vi en ny metod för analys av viktiga POR-system i en ovillkorligt säker miljö, och använder den för att bevisa säkerheten för en modifierad version av ett system på grund av Shacham och Waters [12] under en något begränsad attackmodell, vilket ger det första exemplet på ett nyckeliserat POR-system med ovillkorlig säkerhet. Vi visar också hur klassiska statistiska tekniker kan användas för att utvärdera om provarens svar är tillräckligt exakta för att möjliggöra en lyckad extraktion. Slutligen visar vi på en ny lägre gräns för lagring och kommunikation komplexitet i POR-system.
En annan metod för att hantera en motståndare presenteras i REF, där författarna behandlar PoR-system i modellen för villkorslös säkerhet, där en motståndare har obegränsad beräkningskraft.
A coding theory foundation for the analysis of general unconditionally secure proof-of-retrievability schemes for cloud storage
{'venue': 'J. Mathematical Cryptology', 'journal': 'J. Mathematical Cryptology', 'mag_field_of_study': ['Computer Science', 'Mathematics']}