Abstrakt. I den begränsade lagringsmodell (BSM) för informations-teoretiskt säker kryptering och nyckelavtal använder man en slumpmässig sträng R vars längd t är större än den förmodade gränsen på motparten Evas lagringskapacitet. De legitima parterna Alice och Bob delar en kort inledande hemlig nyckel K som de använder för att välja och kombinera vissa bitar av R för att få en härledd nyckel X som är mycket längre än K. Eve kan bevisas få väsentligen ingen information om X även om hon har oändlig datorkraft och även om hon lär sig K efter att ha utfört lagringen och förlorat tillgång till R. Detta papper behandlar problemet med att generera den ursprungliga nyckeln K och gör två bidrag. För det första bevisar vi att utan en sådan nyckel, hemliga nyckelavtal i BSM är omöjligt om inte Alice och Bob har sig mycket hög lagringskapacitet, vilket bevisar optimaliteten av ett system som föreslagits av Cachin och Maurer. För det andra undersöker vi hybridmodellen där K genereras av ett beräkningssäkert nyckelavtalsprotokoll. Motiveringen till hybridmodellen är att uppnå påvisbar säkerhet under förutsättning att Eva inte kan bryta nyckelavtalet under lagringsfasen, även om hon efteråt kan få obegränsad datorkraft (eller åtminstone kunna bryta nyckelavtalet). I tidigare arbete med BSM föreslogs att ett sådant hybridsystem är säkert eftersom om Eva inte har någon information om K under lagringsfasen, då har hon missat någon möjlighet att veta något om X, även när senare lära sig K. Vi visar att detta mycket intuitiva och till synes korrekta resonemang är falskt genom att ge ett exempel på ett säkert (enligt standarddefinitionen) datoriserat nyckelavtalssystem för vilket BSM-systemet ändå är helt osäkert. En av de överraskande konsekvenserna av detta exempel är att befintliga definitioner för beräkningssäkerhet för nyckelavtal och kryptering fortfarande är för svaga och därför behövs nya, starkare definitioner.
I REF visades det att användningen av ett CO-säkert nyckelutbyte i den bundna lagringsmodellen inte behöver ge evig säkerhet.
On Generating the Initial Key in the Bounded-Storage Model
{'venue': 'ICN (2)', 'journal': None, 'mag_field_of_study': ['Computer Science']}