Cloud computing innebär att anförtro data till informationssystem som hanteras av externa parter på fjärrservrar, i "molnet", vilket ger upphov till nya integritets- och sekretessproblem. Vi föreslår en allmän teknik för att utforma molntjänster som gör det möjligt för molnet att endast se krypterade data, samtidigt som det underlättar vissa databeroende beräkningar. Tekniken är baserad på viktiga översättningar och mixar i webbläsare. Vi fokuserar på en särskild typ av programvara-som-en-tjänst, nämligen tjänster som stöder applikationer, utvärderingar och beslut. Sådana tjänster omfattar hantering av jobbansökningar, offentlig upphandling (t.ex. för civilt byggande) och konferensledning. Vi identifierar de specifika säkerhets- och integritetsrisker som befintliga system utgör. Vi föreslår ett protokoll som tar itu med dem och utgör grunden för ett system som erbjuder starka säkerhets- och integritetsgarantier. Vi uttrycker protokollet och dess egenskaper i språket ProVerif, och bevisa att det ger de avsedda egenskaperna. Vi beskriver ett genomförande av ett särskilt fall av protokollet ConfiChair, som är inriktat på utvärdering av dokument som lämnas in till konferenser. 2. Utgångspunkten är följande: Vi föreslår ett allmänt protokoll som ger sekretess och olänkbarhet egenskaper för molnbaserad konkurrenshantering, förlitar sig på en betrodd konkurrens manager och in-browser nyckelöversättning (avsnitt 3) 3. Vi visar hur de önskade integritetsegenskaperna formellt kan uttryckas och automatiskt verifieras med ProVerif (avsnitt 4) 4. Vi presenterar införandet av ett integritetsstödsystem för konferenshantering (ConfiChair), som bygger på vårt allmänna protokoll (avsnitt 5). Bidrag 1-3 är en generalisering av ett specifikt protokoll för konferensledning och dess verifiering, som vi har föreslagit i [9].
Arapinis m.fl. REF föreslår och analyserar formellt ConfiChair, ett kryptografiskt protokoll som behandlar sekretess och sekretessrisker som kommer från ett skadligt moln.
Privacy-supporting cloud computing by in-browser key translation
{'venue': 'Journal of Computer Security', 'journal': 'Journal of Computer Security', 'mag_field_of_study': ['Computer Science']}