Neste generasjons krypteringsteknologi

Offentlig prosjektsammendrag

Cybersikkerhet er et fagfelt av stor nasjonal betydning, både for det offentlige, bedrifter og private. Krypteringsmekanismer ligger i kjernen av dette fagfeltet. Det er alment anerkjent at dagens krypteringsmekanismer har svakheter og at fremtiden vil trenge nye og sterkere krypteringsmekanismer. Lovende krypteringsmekanismer for fremtiden omfatter zero-knowledge og biometrisk kryptering, samt attributt-basert kryptering og semantisk forsterket attributt-basert kryptering For at en anvendelse av disse teknikkene skal være sikker trenger man modellering og analyse av protokollene som brukes. Det er viktig at disse analysene er automatiske slik at man kan finne svakheter og mulige angrep raskt. Visualisering av analyse-resultatene er dessuten ønskelig i forbindelse med utarbeidelse av svakheter i anvendelsene. Dette prosjektet vil utarbeide en ny generasjon av PROSA, der neste generasjons krypteringsmekanismer er innarbeidet. Det nye PROSA modelleringsspråket og analyseverktøyet vil støtte automatisk analyse og visualisering også av disse nye typene kryptografi. Anvendelser er innen bank, netthandel, helse. Kritisk nasjonal infrastruktur vil kunne nyte godt av dette forskningsprosjektet.