I detta dokument studerar vi viktiga utbytesprotokoll i en modell där nyckelutbytet sker mellan enheter med begränsade displayer som kan jämföras av en mänsklig användare. Om enheterna visar samma värde då den mänskliga användaren är övertygad om att nyckelutbytet avslutades framgångsrikt och säkert, och om de inte då användaren vet att det kom under attack. Huvudresultatet av detta dokument är ett rigoröst bevis på att det numeriska jämförelseläget för enhetsparning i Bluetooth version 2.1 är säkert, under lämpliga antaganden om de kryptografiska funktioner som används. Vårt bevis finns i standardmodellen och i synnerhet inte modellerar någon av funktionerna som slumpmässiga orakel. För att bevisa vårt huvudsakliga resultat lägger vi fram formella definitioner för nyckelutbyte i denna modell och visar att vår definition motsvarar en enklare definition. Detta är ett användbart resultat av oberoende intresse som underlättar en enklare säkerhetsanalys av protokoll i denna modell.
Lindell REF lade fram ett rigoröst bevis för att NC-protokollet för enhetsanslutning i Bluetooth-standard v2.1 är säkert för icke-trivialitet, korrekthet och integritet.
Comparison-Based Key Exchange and the Security of the Numeric Comparison Mode in Bluetooth v2.1
{'venue': 'IACR Cryptology ePrint Archive', 'journal': 'IACR Cryptology ePrint Archive', 'mag_field_of_study': ['Computer Science']}