Vi bevisar ett beräkningsljud teorem för den symboliska analysen av kryptografiska protokoll som utvidgar en analog teorem av Abadi och Rogaway (J. av kryptologi 15.2: 2002) till ett scenario där motståndaren får se kryptering av en sekvens av adaptivt valda symboliska uttryck. Utvidgningen av Abadi och Rogaways teorem till ett sådant adaptivt scenario är icke-trivialt och väcker frågor som rör det klassiska problemet med selektivt återtagande, som inte förekommer i den ursprungliga formuleringen av teorem. Även om Abadi och Rogaways teorem endast gäller passiva motståndare, gör vår utvidgning till adaptiva attacker det betydligt starkare och tillräckligt kraftfullt för att analysera säkerheten i kryptografiska protokoll av praktiskt intresse. Vi exemplifierar användningen av vår ljudstyrka teorem i analysen av grupp nyckel distribution protokoll som de som uppstår i multicast och programsändningar. Specifikt ger vi kryptografiska definitioner av säkerhet för multicast viktiga distributionsprotokoll både i den symboliska såväl som beräkningsramen och använder vårt teorem för att bevisa sundheten i den symboliska definitionen.
Micciancio och Panjwani REF studie beräkningsmässigt ljud symbolisk analys av grupp nyckel avtal protokoll med adaptivt ändra medlemskap.
Adaptive security of symbolic encryption
{'venue': 'In Proc. 2nd Theory of Cryptography Conference (TCC’05), volume 3378 of LNCS', 'journal': None, 'mag_field_of_study': ['Computer Science']}