Webbbaserad inloggning beskriver en klass av protokoll där en användare loggar in på en webbplats med den autentisering som tillhandahålls som en tjänst av en tredje part. I utbyte mot den ökade komplexiteten i autentiseringsförfarandet gör SSO det bekvämt för användare att autentisera sig till många olika webbplatser (förtroende parter), med bara ett enda konto hos en identitetsleverantör som Facebook eller Google. Enstaka inloggningsprotokoll (SSO) är dock inte immuna mot sårbarheter. Den senaste forskningen har infört flera angrepp mot befintliga SSO-protokoll, och ytterligare arbete har visat att dessa problem är vanliga: 6,5 % av de undersökta beroende parterna var sårbara för implikationsattacker, vilket kan leda till risker och intrång i privatlivet. Tidigare arbete använde formella verifieringsmetoder för att identifiera sårbarheter i SSO-protokoll eller utnyttjade invarianter av SSO interaktionsspår för att identifiera logiska brister. Inget tidigare arbete studerade emellertid systematiskt den verkliga grundorsaken till imiteringsattacker mot den beroende parten. I detta dokument undersöker vi systematiskt befintliga SSO-protokoll och fastställer grundorsaken till ovannämnda sårbarheter: utformningen av kommunikationskanalen mellan den beroende parten och identitetsleverantören, som, beroende på protokoll och genomförande, lider av att vara ett enkelriktat kommunikationsprotokoll, eller brist på autentisering. Vi (a) systematiskt studera den svaghet som är ansvarig för sårbarheterna i befintliga protokoll som tillåter imitering attacker mot den beroende parten, (b) införa en dedikerad, autentiserad, dubbelriktad, säker kanal som inte lider av dessa brister, (c) formellt verifiera autentisering egenskapen av denna kanal med hjälp av en välkänd kryptografisk protokoll kontrollant (ProVerif), och (d) utvärdera praktiskheten av en prototyp genomförande av vårt protokoll. För att stödja en smidig och smärtfri övergång från befintliga SSO-protokoll inför vi slutligen en proxyinställning där vår kanal kan användas för att säkra befintliga SSO-protokoll från imiteringsattacker. För att visa flexibiliteten i vårt tillvägagångssätt utformar vi dessutom två olika SSO-protokoll: ett OAuth-liknande och ett OpenID-liknande protokoll.
Detta beslut träder i kraft dagen efter det att det har offentliggjorts i Europeiska unionens officiella tidning. studerade sårbarheter i befintliga SSO protokoll som tillåter imitering attacker och analyserade de viktigaste orsakerna som leder till dessa brister REF.