SMILE: Een beveiligingsgerichte, formeel onderbouwde modelleertaal voor mensen KU Leuven
Het ontwikkelen van veilige software is een uitdaging die vereist dat je veiligheid aanpakt in elke fase van de ontwikkeling. De vroege ontwerpfases zijn cruciaal voor het bereiken van niet-functionele vereisten zoals veiligheid. Desondanks krijgt de beveiliging van een softwaresysteem in praktijk slechts beperkte aandacht tijdens deze ontwerpfases. Een cruciaal element voor softwareonterwerpers om te redeneren over de beveiliging van hun ...