Under de senaste åren har ett antal bestyrkta protokoll för nyckelavtal föreslagits i litteraturen. Vi noterade att insatserna på detta område främst ägnades åt förbättring av deras prestanda i termer av bandbredd eller beräkningskrav, men att det fanns mycket få systematiska studier av deras säkerhetsegenskaper. I detta dokument försökte vi utveckla ett systematiskt sätt att analysera protokollsviter som utvidgar Diffie-Hellman nyckelutbytesprogram till en grupp inställning och presenteras i samband med Cliques projektet. Detta ledde oss att föreslå en mycket enkel maskin som gjorde det möjligt för oss att manuellt identifiera flera opublicerade attacker mot de viktigaste säkerhetsegenskaper som påstås i definitionen av dessa protokoll (implicit nyckelavtal, perfekt framåt sekretess, motstånd mot kända-key attacker).
I ett nyare arbete föreslog Pereira REF ett systematiskt tillvägagångssätt för att analysera protokollsviter som utvidgar DiffieHellman nyckelutbytesschema till en gruppinställning.
Some attacks upon authenticated group key agreement protocols
{'venue': 'Journal of Computer Security', 'journal': None, 'mag_field_of_study': ['Computer Science', 'Engineering']}