Static and dynamic a... Theses on offer Static and dynamic a...

Bachelor thesis

Einsatz von Model Checking für IT-sicherheitskritische Systeme auf Basis von Angreifermodellen

(Original Title:Einsatz von Model Checking für IT-sicherheitskritische Systeme auf Basis von Angreifermodellen)



Author: Daniel Dehmel

Tutor: Dipl.-Inf. David Föhrweiser