Protokoll för autentiserat nyckelutbyte (AKE) gör det möjligt för parter inom ett osäkert nätverk att upprätta en gemensam sessionsnyckel som sedan kan användas för att säkra deras framtida kommunikation. Det är rimligt att säga att grupp AKE för närvarande är mindre välbekant än fallet med tvåparti AKE; särskilt attacker av skadliga insiders - en fråga som är specifik för gruppens inställning - har hittills endast ansetts på ett relativt "ad-hoc" sätt. Det viktigaste bidraget från detta arbete är att åtgärda denna brist genom att tillhandahålla en formell, heltäckande modell och definition av säkerhet för grupp AKE som automatiskt omfattar insiderangrepp. Vi gör det genom att definiera en lämplig idealisk funktionalitet för grupp AKE inom ramen för den universella kompatibiliteten (UC). Som en sidofördel är alla protokoll säkra med avseende på vår definition säkra även när de körs samtidigt med andra protokoll, och nyckeln som genereras av ett sådant protokoll kan användas säkert i alla efterföljande program. Förutom att föreslå denna definition visar vi att det resulterande begreppet säkerhet är mycket starkare än det som föreslås av Bresson m.fl. (benämns "Ake-säkerhet") och att vår definition innefattar alla tidigare föreslagna begrepp om säkerhet mot insiderangrepp. Vi visar också en enkel teknik för att omvandla alla AKE-säkra protokoll till ett säkert med avseende på vår definition.
Kats och Shin REF tog upp fall av attacker av skadliga insiders för autentiserade viktiga utbyte protokoll.
Modeling insider attacks on group key-exchange protocols
{'venue': "CCS '05", 'journal': None, 'mag_field_of_study': ['Computer Science']}