ABSTRACT Det lösenordsbaserade autentiserade nyckelutbytet (PAKE) är ett av de mest praktiska kryptografiska primitiva för betrodda datorer, som används för att säkert autentisera enheters identiteter och generera delade sessionsnycklar bland enheter i osäkra miljöer genom att använda ett kort, mänskligt-minnesbart lösenord. Med den snabba utvecklingen av Internet of Things (IoT) har nya utmaningar när det gäller Pake dykt upp. De traditionella Pake protokollen är helt osäkra i IoT-miljöer, eftersom det finns många typer av sidokanal attacker. Därför är det mycket viktigt att modellera och designa läckagetåliga (LR) Pake-protokoll. Det har dock inte förekommit något tidigare arbete med modellering och konstruktion av LR Pake protokoll. I det här dokumentet formaliserar vi först en LR ECK-säkerhetsmodell för Pake baserat på den ECK-säkra Pake-modellen och den enda beräkningsläckagemodellen. Sedan föreslår vi det första LR Pake-protokollet genom att använda Diffie-Hellman nyckelutbyte, LR lagring (LRS) och LR uppfriskande av LRS korrekt och formellt presentera ett säkerhetsbevis i standardmodellen. Läckage-motstånd, lösenordsbaserad autentiserad nyckel utbyte, sidokanal attacker, betrodd dator, internet av saker.
I REF Ruan m.fl. Designad en läckagetålig (LR) ek säkerhetsmodell för lösenordsbaserad autentiserad nyckel utbyte (PAKE) protokoll.
Provably Leakage-Resilient Password-Based Authenticated Key Exchange in the Standard Model
{'venue': 'IEEE Access', 'journal': 'IEEE Access', 'mag_field_of_study': ['Computer Science']}