Nytt språk gir bedre datasikkerhet
Pressemelding fra Universitetet i Tromsø.
Sikker kommunikasjon har vist seg å være kostbart, rigid og svært vanskelig å få til. En nytt programmeringsspråk utviklet ved Universitetet i Tromsø (UiT) løser problemene.
Per Harald Myrvang forsvarte 5. juni 2008 avhandlingen "Obol - the Design and Implementation of a Security Protocol Programming Language" til graden doctor scientarium ved UiT.
En protokoll er en oppskrift for hvordan ulike parter skal forholde seg til hverandre når de kommuniserer seg imellom. Protokoller som har som formål å fastsette identitet og beskytte partenes privatliv og integritet kalles sikkerhetsprotokoller. Det har vist seg forbløffende vanskelig å skape sikre sikkerhetsprotokoller.
Sikkerhetsprotokoller er notorisk vanskelige å analysere, designe og implementere. Eksisterende sikkerhetsprotokoller er ofte ufleksible, uoversiktlige, uhåndterbare, dyre og anvendt til et formål de opprinnelig ikke var tiltenkt, noe som reduserer sikkerheten.
Nye spennende bruksområder
avhandlingen analyseres en rekke sikkerhetsprotokoller for å finne fellestrekk og egenskaper som trengs for å konstruere en sikkerhetsprotokoll. Med dette som grunnlag har Myrvang utviklet et kompakt programmeringsspråk (kalt "Obol") som ivaretar disse egenskapene.
Resultatene er meget positive, og viser at Obol kan realisere nesten alle de sikkerhetsprotokollene som er testet, og samtidig redusere kompleksiteten og forenkle design, implementering og anvendelse.
I avhandlingen beskrives formålet bak Obol, hvordan språket er oppbygd og årsakene til dette, samt hvordan Obol er blitt testet ut på eksisterende protokoller. I tillegg vises det eksempler på hvordan språket kan brukes i nye spennende systemer og tjenester, som smartkort og distribuerte systemer.
Om doktoren
Per Harald Myrvang er født 1971 i Mo i Rana. Han er utdannet cand.scient. ved Universitetet i Tromsø og har vært stipendiat ved Institutt for informatikk ved samme universitet. Myrvang har jobbet som førsteamanuensis i informatikk ved Handelshøgskolen i Bodø, men har tatt steget ut i industrien, og jobber nå i et av Norges større sikkerhetsfirma.
Kontaktperson: Per Harald Myrvang, Institutt for Informatikk, permyr@gmail.com
