Nytt programspråk för att täppa till informationsluckor i mjukvara
Dagens metod att förhindra att användare och obehöriga kommer åt information de inte ska ha tillgång till i dataprogram baseras ofta på att kodgranskare går igenom koden manuellt och letar efter brister. Niklas Broberg vid Göteborgs universitet har nu utvecklat ett nytt programspråk som automatiskt upptäcker risker för informationsläckor redan när programmet skrivs.De vanligaste orsakerna till säkerhetsproblem i dagens mjukvara är varken bristande nätverkssäkerhet, dåliga säkerhetsprotokoll eller svag krypteringsteknik. Oftast handlar det helt enkelt om att programmen är bristfälligt