Online anonymitet i software systemer
Projektets mål er at udvikle en videnskabelig ramme for ræsonnement og håndhævelse af strengere anonymitetskrav på applikationsniveau. Der er en stigende interesse for online anonymitet, men de eksisterende værktøjer kan kun garantere anonymitet på et lavt abstraktionsniveau. Det resulterer i programmer, som overtræder brugernes forventninger om anonymitet. For at løse det problem vil vi bruge nye teknikker fra programmeringssprogteori til at ræsonnere om, og håndhæve, anonymitetskrav i applikationer, samt benytte programmeringssprogteknikker til at specificere og understøtte disse krav. Projektet vil resultere i en ny programmeringsmetodologi, som vil danne et solidt grundlag for at udarbejde praktiske værktøjer, som kan hjælpe programmører med at udvikle systemer, der overholder strenge krav om anonymitet og fortrolighed.
Min interesse for forskningsområdet indenfor sikkerhed blev vakt i løbet af mine kandidatstudier ved Chalmers University of Technology i Sverige.
De største udfordringer i dette projekt er at;
1. afdække en semantisk karakteristik af anonymitet, der er passende til applikationer.
2. udvikle en programmeringsmetodologi, der er anvendelig i forhold til anonymitet.
3. udvikle sikre run-times, der kan forsvare et system imod mulige identifikationsangreb.
Resultatet af min forskning kan påvirke forskningsbaseret undervisning og uddannelse, men det har samtidig også potentialet til at påvirke fremtidig lovgivning og regulering vedr. privatliv og sikkerhed online.
Jeg forventer, at Sapere Aude-projektet vil få en enorm betydning for min karriere som forsker, fordi det giver mig mulighed at udvide min egen forskningsgruppe på Aarhus Universitet.
Aarhus Universitet, Institut for datalogi
Datalogi
Aarhus Kommune
Aserbajdsjan