Neuman–Stubblebine-protokollet
Neuman –Stubblebine-protokollet är ett autentiseringsprotokoll för datornätverk designat för användning på osäkra nätverk (t.ex. Internet ). Det tillåter individer som kommunicerar över ett sådant nätverk att bevisa sin identitet för varandra. Detta protokoll använder tidsstämplar, men är inte beroende av synkroniserade klockor.
Protokollet
Om Alice (A) initierar kommunikationen till Bob (B) med S är en server som båda parter litar på, kan protokollet specificeras enligt följande med säkerhetsprotokollnotation :
- A och B är identiteter för Alice respektive Bob
- M är en sessionsidentifierare
- är en symmetrisk nyckel som endast är känd för A och S
- är en symmetrisk nyckel som endast är känd för B och S
- och är nonser genererade av A respektive B
- och är tidsstämplar genereras av A respektive B
- är en genererad symmetrisk nyckel, som kommer att vara sessionsnyckeln för sessionen mellan A och B
- Alice meddelade Bob om avsikten att initiera säker kommunikation.
- Bob genererar en tidsstämpel och en nonce och skickar detta till den betrodda servern.
- Den betrodda servern genererar en sessionsnyckel och ett meddelande som Alice ska vidarebefordra till Bob.
Alice vidarebefordrar meddelandet och verifierar att är samma som hon genererade tidigare. Bob kommer att verifiera att och inte har ändrats när han får meddelandet.
Efterföljande kommunikationer
En fördel med detta protokoll är att Alice kan använda den betrodda serverns meddelande för att initiera autentisering med Bob inom en förutbestämd tidsgräns utan att använda den betrodda servern. Protokollet fortsätter enligt följande med samma definitioner som ovan.
- Alice skickar meddelandet som den betrodda servern skickade till henne tidigare när han kommunicerade med Bob.
- Bob skickar Alice en ny nonce och hennes nya nonce krypterad med sessionsnyckel som Alice ogillar från tidigare kommunikation.
- Alice returnerar Bobs nonce krypterad med sessionsnyckeln för att låta honom verifiera att kommunikationen är framgångsrik.
Ge sig på
Med hjälp av satsbevisaren SPASS har det visat sig att detta protokoll kan attackeras. Denna attack och två till från beskrivs i [1] .
Se även
Schneier, Bruce (1996), Applied Cryptography , John Wiley & Sons , s. 60–62, ISBN 0-471-12845-7
- ^ Weidenbach, Christoph (1999), Towards an Automatic Analysis of Security Protocols in First-Order Logic , Saarbrücken, Tyskland
- ^ Hwang, Tzonelih; Lee, Narn-Yih; Li, Chuan-Ming; Ko, Ming-Yung; Chen, Yung-Hsiang (1994), "Två attacker mot Neuman-Stubblebine-autentiseringsprotokoll", Information Processing Letters , Tainan, Taiwan, 53 (2): 103–107, doi : 10.1016/0020-0190(95)00177-E