Molntjänster har förvandlat fjärrberäkning till en råvara och möjliggör praktiskt samarbete online. De kräver dock att kunderna till fullo litar på tjänsteleverantören när det gäller sekretess, integritet och tillgänglighet. För att minska detta beroende, introducerar denna artikel VICOS, ett protokoll för verifiering av integritet och konsekvens för moln objektlagring som gör det möjligt för en grupp av ömsesidigt förtroende klienter att upptäcka dataintegritet och konsekvens överträdelser för en moln objekt lagringstjänst. Det syftar till tjänster där flera kunder samarbetar om data som lagras på distans på en potentiellt felaktig tjänst. VICOS upprätthåller konsekvensbegreppet gaffel-linearizability, stödjer väntefria klientsemantik för de flesta verksamheter och minskar beräkning och kommunikation overhead jämfört med tidigare protokoll. VICOS bygger på en allmän, autentiserad datastruktur. Dessutom täcker dess operationer det hierarkiska namnutrymmet för en moln objektlager, som stöder ett verkligt gränssnitt och inte bara en förenklad abstraktion. En prototyp av VICOS som arbetar med nyckelvärdesbutiksgränssnittet för råvarumolnlagringstjänster har implementerats, och en utvärdering visar på dess fördelar jämfört med befintliga system. Marcus Brandenburger, Christian Cachin och Nikola Knežević. Detta beslut träder i kraft den tjugonde dagen efter det att det har offentliggjorts i Europeiska unionens officiella tidning. Lita inte på molnet, verifiera: Integritet och konsekvens för moln objekt butiker. 8:2 M. Brandenburger et al. arkiv, globala projektteam producerar tekniska leveranser, och vänner delar sina fotoalbum. Icke desto mindre måste kunderna lita på molnleverantören, eftersom de förlitar sig på det för sekretess och korrekthet i sina uppgifter. Kryptering kan bevara datasekretessen men kan inte förhindra oavsiktliga eller skadliga dataändringar. Detta arbete visar hur man skyddar integriteten och konsekvensen av data på en opålitlig molnlagringstjänst som flera kunder har tillgång till. Med en enda klient kan kunden lokalt behålla ett kort kryptografiskt hashvärde av de utlagda uppgifterna. Senare kan detta användas för att verifiera integriteten hos de data som returneras av molnlagringstjänsten. Men med flera frånkopplade klienter, ingen gemensam synkronisering och ingen kommunikation mellan kunderna är varken hashing eller digitala signaturer tillräckliga av sig själva. Anledningen är att en illasinnad eller byzantinsk server kan bryta mot datakonsistensen, till exempel genom att ombeställa eller utelämna korrekt autentiserade operationer så att lagringsstatens synpunkter på olika klienter avviker. En skadlig molnserver kan låtsas för en uppsättning av kunder att vissa operationer av andra helt enkelt inte inträffade. Med andra ord, färskhet kan kränkas och kunderna kan inte upptäcka sådana replay attacker förrän de kommunicerar direkt. Problemet är särskilt relevant när det gäller cryptographic online-röstning och webbcertifikatstransparens (Laurie 2014). Det starkaste möjliga begreppet om konsekvens i denna multiclientmodell fångas upp av gaffellinearizability, som infördes av Mazières och Shasha (2002). Ett protokoll för konsekvens- och integritetskontroll kan garantera detta genom att lägga till kondenserade data om den kausala utvecklingen av kundens åsikter i deras interaktion med servern. Detta säkerställer att om servern bara skapar en enda diskrepans mellan synpunkter från två kunder, dessa kunder kan aldrig observera varandras verksamhet efteråt. Med andra ord, om servern någonsin ljuger för vissa kunder och dessa kunder kommunicerar senare, kommer de omedelbart att upptäcka överträdelsen. Med bara en kontroll kan de därför verifiera ett stort antal tidigare operationer. SUNDR-systemet (Li et al. 2004 ) banade väg-linearizable konsistens och demonstrerade ett nätverk filsystem som skyddas av en hash träd av varje användares filer. SUNDR använder ett dyrt protokoll, vilket kräver meddelanden av storlek (n 2 ) för n klienter (Cachin et al. 2007)................................................................................................... Liksom andra system som ger gaffel-linearizability, lider den av den inneboende begränsningen att ibland, även med en korrekt server, kunder måste blockera och inte kan fortsätta med sin nästa verksamhet eftersom andra kunder samtidigt utför operationer (Cachin et al. 2007 )............................................................................................................................ För att förhindra blockering, FAUST (Cachin et al. 2011b), SPORC (Feldman m.fl. 2010), och Venus (Shraer et al. 2010) slappna av sina garantier till svag gaffel-linearizability, som etablerar konsekvens först så småningom, efter ytterligare operationer inträffar; Detta är inte önskvärt eftersom en kund kanske bara senare vet att ett protokoll output inte var korrekt. SPORC och tillhörande blind stentavla (BST) (Williams et al. 2009 ) protokollet överföra underhållet av staten till kunderna så att servern är endast ansvarig för samordning; varje kund har en fullständig kopia av systemets tillstånd. Detta motsäger målet att outsourcing data till molnet. Ett annat sätt att undvika blockering utforskas av BST och protokollet för kontroll av pendling och drift (COP) (Cachin och Ohrimenko 2014): de låter alla pendlingsoperationer fortsätta omedelbart. I den här artikeln presenterar vi VICOS, ett protokoll för verifiering av integritet och konsekvens för molnobjektlagring, som övervinner dessa begränsningar och visar ett komplett praktiskt system. VICOS stöder den optimala konsekvensen begreppet gaffel-linearizability, ger vänta-fri semantik för alla kompatibla klientoperationer, och har mindre overhead än tidigare protokoll. Begreppet kompatibel verksamhet, som introducerats här, generaliserar de framsteg som gjorts när det gäller pendlingsverksamhet, som beaktas i tidigare arbete. Informellt, en operation o är kompatibel med  och om utföra o innan  och påverkar inte beteendet hos  på (dvs. det observerade beteendet hos  på och alla framtida operationer förblir efter  på samma sätt som om o var frånvarande). Begreppet VICOS baseras på abstrakta autentiserade datastrukturer (ADS) på ett modulärt sätt. Dessutom förenar det
VICOS REF skyddar integritets- och konsekvensverifieringen av en generisk molnobjektlagringstjänst.
Don’t Trust the Cloud, Verify: Integrity and Consistency for Cloud Object Stores
{'venue': 'TOPS', 'journal': None, 'mag_field_of_study': ['Computer Science']}