Abstrakt. 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 att molnet bara kan se krypterade data, samtidigt som det fortfarande kan utföra databeroende beräkningar. Tekniken är baserad på viktiga översättningar och mixar i webbläsare. Vi fokuserar på den specifika molnbaserade applikationen av konferenshantering. Vi identifierar de specifika säkerhets- och integritetsrisker som befintliga system som EasyChair och EDAS utgör, och adresserar dem med ett protokoll underliggande ConfiChair, ett nytt molnbaserat konferenshanteringssystem som erbjuder stark säkerhet och integritetsgarantier. I ConfiChair interagerar författare, granskare och konferensordföranden genom sina webbläsare med molnet för att utföra de vanliga uppgifterna att ladda upp och ladda ner papper och recensioner. I motsats till nuvarande system, i ConfiChair molnleverantören inte har tillgång till innehållet i papper och recensioner och de poäng som ges av granskare, och dessutom inte kan länka författare med granskare av deras papper. Vi uttrycker ConfiChair protokollet och dess egenskaper i språket ProVerif, och bevisa att det ger de avsedda egenskaperna.
ConfiChair REF är en kryptografisk-baserad modell av ett molnbaserat konferenshanteringssystem där den starka sekretessen (även en hyperproperty) av pappersinnehåll och recensioner automatiskt kontrolleras med ProVerif-verktyget.
M.: Privacy Supporting Cloud Computing: ConfiChair, a Case Study
{'venue': 'POST', 'journal': None, 'mag_field_of_study': ['Computer Science']}