Software security

De cursus bestaat uit twee onderdelen. Het eerste onderdeel is gewijd aan software security, waarin je kennis en vaardigheden opdoet omtrent het beveiligen van software. Het tweede onderdeel is gewijd aan academische vaardigheden, waarin je kennis en vaardigheden opdoet omtrent onderzoeksmethoden en het formuleren van onderzoeksvragen.

De inhoud van het onderdeel software security is gegroepeerd in vijf blokken:

Het eerste blok bevat een introductie tot software security. Hierin wordt een definitie van software security gegeven, worden basisbegrippen toegelicht en wordt uitgelegd hoe software security geïntegreerd kan worden in alle fasen van de softwareontwikkeling.

Het tweede blok behandelt een aantal veel voorkomende kwetsbaarheden in software. Er is met name aandacht voor beveiligingsproblemen rondom validatie van invoer en uitvoer en buffer overflows.

Het derde blok is gewijd aan activiteiten die uitgevoerd worden in verschillende fasen van het softwareontwikkelproces om beveiligde software te creëren. Er is aandacht voor ontwerpprincipes, risicomanagement, risicoanalyse, statische codeanalyse en security-testen. Het blok bevat drie praktische opdrachten, gerelateerd aan architectural risk analysis, statische codeanalyse en fuzz testing.

In het vierde blok komen security-aspecten van programmeertalen en programmeerplatformen aan de orde. Er is aandacht voor safety van programmeertalen en diverse vormen van access control, zoals sandboxing en informatieflowanalyse. Dit blok wordt afgerond met een praktische opdracht.

In het vijfde blok staan ethische aspecten van software security centraal. Er wordt aandacht besteed aan ethiek van hacking en het publiceren over vulnerabilities. Het blok wordt afgerond met een opdracht waarin je een ethisch vraagstuk verkent in een case-studie.

In het onderdeel academische vaardigheden bestudeer je enkele wetenschappelijke artikelen die gerelateerd zijn aan software security en voer je een schrijfopdracht uit die bestaat uit twee stappen. In de eerste stap bestudeer je een artikel en beantwoord je een aantal vragen daarover. In de tweede stap bestudeer je een artikel en schrijf je een betoog waarin je kritisch kijkt naar de onderzoeksmethode, de resultaten en de conclusies. Ook formuleer je een eigen mening daarover, die je onderbouwt met duidelijke argumenten. Tot slot formuleer je zo precies mogelijk een eigen onderzoeksvraag waarmee een vervolg kan worden gegeven aan het onderzoek.

Leerdoelen
Na afronding van het onderdeel software security in deze cursus kun je:
- een aantal veelvoorkomende beveiligingsproblemen in software benoemen en uitleggen,
- de onderliggende oorzaken van deze beveiligingsproblemen uitleggen, gesitueerd in specifieke applicaties en applicatietypes, programmeertalen en -platformen en besturingssystemen,
- aangeven welke activiteiten ('best practices') in het softwareontwikkelproces uitgevoerd moeten worden om beveiligde software te creëren, waaronder risicoanalyse en statische codeanalyse,
- principes en richtlijnen geven om beveiligingsproblemen te voorkomen of te detecteren,
- taalgebaseerde en platformgebaseerde oplossingen benoemen en uitleggen, zoals sandboxing,
- op verantwoorde wijze omgaan met ethische aspecten rondom software security.

Na afronding van het onderdeel academische vaardigheden in deze cursus kun je:
- de opbouw van een wetenschappelijk artikel samenvatten,
- de onderzoeksvraag in een wetenschappelijk artikel herkennen en nagaan in welke mate het uitgevoerde onderzoek deze vraag beantwoordt,
- de beperkingen van een onderzoek opnoemen die mogelijk tot vervolgvragen leiden,
- aangeven wat de bijdrage van een artikel is ten opzichte van de al bestaande literatuur,
- de gehanteerde onderzoeksmethode herkennen,
- bepalen of er gegevens voor het onderzoek zijn verzameld en geanalyseerd, en zo ja, welke,
- een samenhangend betoog houden over de inhoud van een wetenschappelijk artikel,
- ideeën en meningen helder opschrijven en deze met feiten onderbouwen,
- een eigen onderzoeksvraag formuleren als een vervolg op bestaand onderzoek.